+ g_object_get(GetSettingsForWindowScreen(window),
+ "gtk-dnd-drag-threshold", &drag_threshold, NULL);
+
+ // The correct thing here would be to double the value
+ // since that is what the API wants. But the values
+ // are much bigger under GNOME than under Windows and
+ // just seem to much in many cases to be useful.
+ // drag_threshold *= 2;
+
+ return drag_threshold;
+
+ case wxSYS_ICON_X:
+ case wxSYS_ICON_Y:
+ return 32;
+
+ case wxSYS_SCREEN_X:
+ if (window)
+ return gdk_screen_get_width(gdk_drawable_get_screen(window));
+ else
+ return gdk_screen_width();
+
+ case wxSYS_SCREEN_Y:
+ if (window)
+ return gdk_screen_get_height(gdk_drawable_get_screen(window));
+ else
+ return gdk_screen_height();
+
+ case wxSYS_HSCROLL_Y:
+ case wxSYS_VSCROLL_X:
+ return 15;
+
+ case wxSYS_CAPTION_Y:
+ if (!window)
+ // No realized window specified, and no implementation for that case yet.
+ return -1;
+
+ wxASSERT_MSG( wxDynamicCast(win, wxTopLevelWindow),
+ wxT("Asking for caption height of a non toplevel window") );
+
+ // Get the height of the top windowmanager border.
+ // This is the titlebar in most cases. The titlebar might be elsewhere, and
+ // we could check which is the thickest wm border to decide on which side the
+ // titlebar is, but this might lead to interesting behaviours in used code.
+ // Reconsider when we have a way to report to the user on which side it is.
+ {
+ int top;
+ if (GetFrameExtents(window, NULL, NULL, &top, NULL))
+ {
+ return top; // top frame extent
+ }
+ }
projects / wxWidgets.git / blobdiff