Home » Modeling » Graphiti » grid settings should be controlled by preferences rather than being diagram properties
| |
Re: grid settings should be controlled by preferences rather than being diagram properties [message #753512 is a reply to message #753429] |
Thu, 27 October 2011 14:37 |
Hernan Gonzalez Messages: 188 Registered: October 2010 Location: Buenos Aires, Argentina |
Senior Member |
|
|
Henrik Rentz-Reichert wrote on Thu, 27 October 2011 05:35Hi all,
in my opinion grid settings should be controlled by preferences rather than being diagram properties.
I understand grid width and snap to grid as settings of the viewer and not of the diagram itself.
Don't you think so?
Thanks,
Henrik
I've also been musing on somtehing related, perhaps you should read/comment this issue
https://bugs.eclipse.org/bugs/show_bug.cgi?id=361300
Among all the grid settings, I think that the grid size is the most reasonable to be persisted as a diagram property; but I agree that in some cases the editor should allow the user to change it. There are three alternatives:
1) change (and persist) the settings for the particular diagram
(this could be done today by a custom dialog, no problem here)
2) change the settings globally for a particular diagramprovider / diagramtype.
3) change the settings globally (Graphiti)
The third options seems too invasive, as Michael says. The 2 seems the most flexible and elegant way, it would require support to store some preferences
|
|
|
Re: grid settings should be controlled by preferences rather than being diagram properties [message #753621 is a reply to message #753512] |
Fri, 28 October 2011 05:52 |
Andreas Graf Messages: 211 Registered: July 2009 |
Senior Member |
|
|
Hi,
I would suggest to consider a more comprehensive preferences approach when implementing this. In many editors, you will not only have diagram specific grid settings, but other, editor specific settings as well. These should integrate into the UI. In addition, there might not be only specific settings for the diagram, but for shapes etc. as well. Currently, this has to be implemented by the user. If there is something done for diagram settings, it would be great, if the solution would be generic.
Andreas
|
|
|
Re: grid settings should be controlled by preferences rather than being diagram properties [message #753643 is a reply to message #753621] |
Fri, 28 October 2011 07:45 |
Michael Wenz Messages: 1931 Registered: July 2009 Location: Walldorf, Germany |
Senior Member |
|
|
I see, there is general interest in this, so I would suggest that you file
this as an enhancement bugzilla.
Do you have any concrete examples of other settings e.g. for shapes, you
would like to have?
Michael
"Andreas Graf" schrieb im Newsbeitrag news:j8df6k$hkf$1@news.eclipse.org...
Hi,
I would suggest to consider a more comprehensive preferences approach when
implementing this. In many editors, you will not only have diagram specific
grid settings, but other, editor specific settings as well. These should
integrate into the UI. In addition, there might not be only specific
settings for the diagram, but for shapes etc. as well. Currently, this has
to be implemented by the user. If there is something done for diagram
settings, it would be great, if the solution would be generic.
Andreas
|
|
| | | |
Goto Forum:
Current Time: Sat Apr 20 02:19:57 GMT 2024
Powered by FUDForum. Page generated in 0.03803 seconds
|