Hi Gregor,
that fixes the problem. thanks.
cheers,
Christian
On 01/05/2012 04:17 PM, Gregor Bonifer wrote:
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
_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev
|