| commit | 41620dd02056b7023b3bd913cd72409ae17861c3 | [log] [tgz] |
|---|---|---|
| author | mgorning <mgorning> | Fri Jul 23 11:45:13 2010 +0000 |
| committer | mgorning <mgorning> | Fri Jul 23 11:45:13 2010 +0000 |
| tree | 9136d943de6e1f0154af11f175b2347561cf8019 | |
| parent | 85d5d12ca4a7455a8a206aa83244e1961e4aca9a [diff] |
The method isMultipleRefreshSupressionActive() is moved from the graphiti preference page to the DiagramEditor. It is used in the class PictogramElementDelegate.