Displaying 1 result from an estimated 1 matches for "gtk_button_press_ev".
2009 Apr 06
1
Need Help with StatET Error/Bug? on Ubuntu 8.10 amd64
...rg.eclipse.swt.widgets.Composite.forceFocus(Composite.java:494)
at org.eclipse.swt.widgets.Control.forceFocus(Control.java:2101)
at org.eclipse.swt.widgets.Control.setFocus(Control.java:3646)
at org.eclipse.swt.widgets.Composite.setFocus(Composite.java:1254)
at
org.eclipse.swt.widgets.Composite.gtk_button_press_event(Composite.java:656)
at org.eclipse.swt.widgets.Canvas.gtk_button_press_event(Canvas.java:155)
at org.eclipse.swt.widgets.Widget.windowProc(Widget.java:1531)
at org.eclipse.swt.widgets.Control.windowProc(Control.java:4506)
at org.eclipse.swt.widgets.Display.windowProc(Display.java:4099)
at o...