Lines Matching defs:screen
282 GdkScreen* screen = gtk_widget_get_screen(GTK_WIDGET(view));
292 if ((*x + menuSize.width) >= gdk_screen_get_width(screen))
296 if ((*y + menuSize.height) >= gdk_screen_get_height(screen))
1431 static double screenDPI(GdkScreen* screen)
1434 double dpi = gdk_screen_get_resolution(screen);
1439 double diagonalSizeInPixels = hypot(gdk_screen_get_width(screen), gdk_screen_get_height(screen));
1440 double diagonalSizeInInches = hypot(gdk_screen_get_width_mm(screen), gdk_screen_get_height_mm(screen)) / kMillimetresPerInch;
1450 GdkScreen* screen = gtk_widget_has_screen(GTK_WIDGET(webView)) ? gtk_widget_get_screen(GTK_WIDGET(webView)) : gdk_screen_get_default();
1451 return screen ? screenDPI(screen) : defaultDPI;
2821 * for the current screen and widget, but you can override those values
2862 * @element: the #WebKitDOMHTMLElement which has requested full screen display.
2866 * signal is not handled the WebView will proceed to full screen
2868 * request permission to the user prior doing the full screen
2871 * full screen window).
2890 * @element: the #WebKitDOMHTMLElement which is currently displayed full screen.
2893 * window out of its full screen state. This signal can be used by