Hi Christian,
I added the appropriate stylebits to suppress the frame (SWT.ON_TOP
| SWT.TOOL). On windows I do not see any difference but those bits
are used in jface.ToolTip to produce the desired appearance. If I
understood you correct, the exception only occures when the frame is
closed manually. This option does not exist if there is no border.
Therefore removing the border eleminates the need for additional
checks.
Please let me know whether the issue is solved.
Regards,
Gregor
Am 05.01.2012 14:54, schrieb Christian Krause:
here
the screenshot...
On 01/05/2012 02:47 PM, Christian Krause wrote:
Hi,
on my Linux laptop the tooltips look a bit strange because a
window frame is drawn which is very disturbing (see screenshot).
Moreover, if I manually try to close this mini-window (it does
disappear also on its own) then I get an exception:
org.eclipse.swt.SWTException: Widget is disposed
at org.eclipse.swt.SWT.error(SWT.java:4282)
at org.eclipse.swt.SWT.error(SWT.java:4197)
at org.eclipse.swt.SWT.error(SWT.java:4168)
at org.eclipse.swt.widgets.Widget.error(Widget.java:466)
at
org.eclipse.swt.widgets.Widget.checkWidget(Widget.java:403)
at org.eclipse.swt.widgets.Shell.getBounds(Shell.java:2336)
at
org.eclipse.emf.henshin.editor.util.HtmlTipSupport$2.mouseMove(HtmlTipSupport.java:77)
Here it should be checked whether the widget is disposed
already. And it would be very good if the frame could be
removed.
Cheers,
Christian
_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev
|
