Attachment #135272 for bug #185817

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

View | Details | Raw Unified | Return to bug 185817
Collapse All | Expand All

Lines 1909-1916 Link Here

(-)Eclipse SWT/gtk/org/eclipse/swt/widgets/Table.java (-1 / +2 lines)
1909	* not in focus and all items in the widget are disposed before	1909	* not in focus and all items in the widget are disposed before
1910	* it finishes processing a button press. The fix is to give	1910	* it finishes processing a button press. The fix is to give
1911	* focus to the widget before it starts processing the event.	1911	* focus to the widget before it starts processing the event.
		1912	* This fix should not be applied for double-click events.
1912	*/	1913	*/
1913	if (!OS.GTK_WIDGET_HAS_FOCUS (handle)) {	1914	if (!OS.GTK_WIDGET_HAS_FOCUS (handle) && gdkEvent.type == OS.GDK_BUTTON_PRESS) {
1914	OS.gtk_widget_grab_focus (handle);	1915	OS.gtk_widget_grab_focus (handle);
1915	}	1916	}
1916	return result;	1917	return result;

Lines 768-774 Link Here

(-)Eclipse SWT/gtk/org/eclipse/swt/widgets/List.java (-1 / +1 lines)
768	* it finishes processing a button press. The fix is to give	768	* it finishes processing a button press. The fix is to give
769	* focus to the widget before it starts processing the event.	769	* focus to the widget before it starts processing the event.
770	*/	770	*/
771	if (!OS.GTK_WIDGET_HAS_FOCUS (handle)) {	771	if (!OS.GTK_WIDGET_HAS_FOCUS (handle) && gdkEvent.type == OS.GDK_BUTTON_PRESS) {
772	OS.gtk_widget_grab_focus (handle);	772	OS.gtk_widget_grab_focus (handle);
773	}	773	}
774	return result;	774	return result;

Lines 1908-1914 Link Here

(-)Eclipse SWT/gtk/org/eclipse/swt/widgets/Tree.java (-1 / +1 lines)
1908	* it finishes processing a button press. The fix is to give	1908	* it finishes processing a button press. The fix is to give
1909	* focus to the widget before it starts processing the event.	1909	* focus to the widget before it starts processing the event.
1910	*/	1910	*/
1911	if (!OS.GTK_WIDGET_HAS_FOCUS (handle)) {	1911	if (!OS.GTK_WIDGET_HAS_FOCUS (handle) && gdkEvent.type == OS.GDK_BUTTON_PRESS) {
1912	OS.gtk_widget_grab_focus (handle);	1912	OS.gtk_widget_grab_focus (handle);
1913	}	1913	}
1914	return result;	1914	return result;

Return to bug 185817