|
|
|
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 01:52   |
Eclipse User |
|
|
|
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 03:45   |
Eclipse User |
|
|
|
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
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.25652 seconds