| commit | f7ea0b8280c8ee014d7c745acf758fdefac54efd | [log] [tgz] |
|---|---|---|
| author | mgorning <mgorning> | Fri Jul 23 11:45:15 2010 +0000 |
| committer | mgorning <mgorning> | Fri Jul 23 11:45:15 2010 +0000 |
| tree | 74f6c37a7b7cb3177d6442e5192c04fb5bcdf80e | |
| parent | ea2332fa41afb9173eea7ab0c2752525b8880af8 [diff] |
The method isMultipleRefreshSupressionActive() is moved from the graphiti preference page to the DiagramEditor. It is used in the class PictogramElementDelegate.