249 |
|
|
250 |
gdk_cursor = gdk_cursor_new (gdk_cursor_type); |
gdk_cursor = gdk_cursor_new (gdk_cursor_type); |
251 |
gdk_window_set_cursor (widget->window, gdk_cursor); |
gdk_window_set_cursor (widget->window, gdk_cursor); |
252 |
gdk_cursor_destroy (gdk_cursor); |
gdk_cursor_unref (gdk_cursor); |
253 |
} |
} |
254 |
|
|
255 |
JNIEXPORT void JNICALL |
JNIEXPORT void JNICALL |
272 |
if (widget->parent == NULL) |
if (widget->parent == NULL) |
273 |
{ |
{ |
274 |
if (GTK_IS_WINDOW (parent_widget)) |
if (GTK_IS_WINDOW (parent_widget)) |
275 |
{ |
{ |
276 |
GList *children = gtk_container_children |
GList *children = gtk_container_get_children |
277 |
(GTK_CONTAINER (parent_widget)); |
(GTK_CONTAINER (parent_widget)); |
278 |
|
|
279 |
if (GTK_IS_MENU_BAR (children->data)) |
if (GTK_IS_MENU_BAR (children->data)) |
280 |
gtk_fixed_put (GTK_FIXED (children->next->data), widget, 0, 0); |
gtk_fixed_put (GTK_FIXED (children->next->data), widget, 0, 0); |
843 |
|
|
844 |
if (GTK_IS_EVENT_BOX (widget) |
if (GTK_IS_EVENT_BOX (widget) |
845 |
|| (GTK_IS_BUTTON (widget) |
|| (GTK_IS_BUTTON (widget) |
846 |
&& !GTK_IS_OPTION_MENU (widget))) |
&& !GTK_IS_COMBO_BOX (widget))) |
847 |
fg_color_widget = gtk_bin_get_child (GTK_BIN(widget)); |
fg_color_widget = gtk_bin_get_child (GTK_BIN(widget)); |
848 |
else |
else |
849 |
fg_color_widget = widget; |
fg_color_widget = widget; |
973 |
/* Generate an AWT click event only if the release occured in the |
/* Generate an AWT click event only if the release occured in the |
974 |
window it was pressed in, and the mouse has not been dragged since |
window it was pressed in, and the mouse has not been dragged since |
975 |
the last time it was pressed. */ |
the last time it was pressed. */ |
976 |
gdk_window_get_size (event->window, &width, &height); |
gdk_drawable_get_size (event->window, &width, &height); |
977 |
if (! hasBeenDragged |
if (! hasBeenDragged |
978 |
&& event->x >= 0 |
&& event->x >= 0 |
979 |
&& event->y >= 0 |
&& event->y >= 0 |