On 12/30/2013 11:31 AM, Mickael Istria
wrote:
On 12/20/2013 10:45 PM, Simon Schäfer
wrote:
After searching a while the sources I found out that the base
functionality is done by
org.eclipse.swt.custom.StyledText. It seems that this class is
only responsible to work with text, adding other data that are
not text seems not to be possible. Probably this has to be done
by oneself.
You could imagine wrapping the editor widget as a StyledText in a
StackLayout, and have the error messages displayed as other
widgets (Image, StyledText...) on other "layers" of this
StackLayout, on top of the editor.
The main problem I see is to ensure that the shown boxes do not
unnecessarily overlap the area that contains text.
Not
sure how much effort it represents. On a new Editor made by
yourself, it should be easy to tweak the underlying SWT layouts to
implement it. On existing Editors, it would probably be a bit
trickier.
When I have more time I'll try to get such a thing to work in a
small standalone example. But writing a new editor is not really an
option. Having such a feature as part of the already existing
editors is the point that makes the whole thing interesting.
Anyway, that's indeed a nice thing to have. You should open a
feature request.
https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Platform&component=Text
I'll consider that.
HTH
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev
|
