+ case wxSYS_BORDER_X:
+ case wxSYS_BORDER_Y:
+ case wxSYS_EDGE_X:
+ case wxSYS_EDGE_Y:
+ case wxSYS_FRAMESIZE_X:
+ case wxSYS_FRAMESIZE_Y:
+ if (win)
+ {
+ wxTopLevelWindow *tlw = wxDynamicCast(win, wxTopLevelWindow);
+ if (!tlw)
+ return GetBorderWidth(index, win);
+ else if (window)
+ {
+ // Get the frame extents from the windowmanager.
+ // In most cases the top extent is the titlebar, so we use the bottom extent
+ // for the heights.
+ int right, bottom;
+ if (wxGetFrameExtents(window, NULL, &right, NULL, &bottom))
+ {
+ switch (index)
+ {
+ case wxSYS_BORDER_X:
+ case wxSYS_EDGE_X:
+ case wxSYS_FRAMESIZE_X:
+ return right; // width of right extent
+ default:
+ return bottom; // height of bottom extent
+ }
+ }
+ }
+ }
+
+ return -1; // no window specified
+
+ case wxSYS_CURSOR_X:
+ case wxSYS_CURSOR_Y:
+ return gdk_display_get_default_cursor_size(
+ window ? gdk_drawable_get_display(window)
+ : gdk_display_get_default());
+
+ case wxSYS_DCLICK_X:
+ case wxSYS_DCLICK_Y:
+ gint dclick_distance;
+ g_object_get(GetSettingsForWindowScreen(window),
+ "gtk-double-click-distance", &dclick_distance, NULL);
+
+ return dclick_distance * 2;
+
+ case wxSYS_DCLICK_MSEC:
+ gint dclick;
+ g_object_get(GetSettingsForWindowScreen(window),
+ "gtk-double-click-time", &dclick, NULL);
+ return dclick;
+
+ case wxSYS_DRAG_X:
+ case wxSYS_DRAG_Y:
+ gint drag_threshold;
+ 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 (wxGetFrameExtents(window, NULL, NULL, &top, NULL))
+ {
+ return top; // top frame extent
+ }
+ }
+
+ // Try a default approach without a window pointer, if possible
+ // ...
+
+ return -1;
+
+ case wxSYS_PENWINDOWS_PRESENT:
+ // No MS Windows for Pen computing extension available in X11 based gtk+.
+ return 0;
+
+ default:
+ return -1; // metric is unknown
projects / wxWidgets.git / blobdiff