/** * Gets the scaling factor from the device and calculates the zoom level. * @return zoom in percentage * * @noreference This method is not intended to be referenced by clients. * @nooverride This method is not intended to be re-implemented or extended by clients. * @since 3.105 */ protected int getDeviceZoom () { return DPIUtil.mapDPIToZoom ( _getDPIx ()); }
/** * Gets the scaling factor from the device and calculates the zoom level. * @return zoom in percentage * * @noreference This method is not intended to be referenced by clients. * @nooverride This method is not intended to be re-implemented or extended by clients. * @since 3.105 */ protected int getDeviceZoom() { long /*int*/ screen = OS.gdk_screen_get_default(); int dpi = (int) OS.gdk_screen_get_resolution (screen); if (dpi <= 0) dpi = 96; // gdk_screen_get_resolution returns -1 in case of error if (OS.GTK_VERSION > OS.VERSION(3, 9, 0)) { int monitor_num = OS.gdk_screen_get_monitor_at_point (screen, 0, 0); int scale = OS.gdk_screen_get_monitor_scale_factor (screen, monitor_num); dpi = dpi * scale; } return DPIUtil.mapDPIToZoom (dpi); } /**
/** * Gets the scaling factor from the device and calculates the zoom level. * @return zoom in percentage * * @noreference This method is not intended to be referenced by clients. * @nooverride This method is not intended to be re-implemented or extended by clients. * @since 3.105 */ protected int getDeviceZoom() { int /*long*/ screen = OS.gdk_screen_get_default(); int dpi = (int) OS.gdk_screen_get_resolution (screen); if (dpi <= 0) dpi = 96; // gdk_screen_get_resolution returns -1 in case of error if (OS.GTK_VERSION > OS.VERSION(3, 9, 0)) { int monitor_num = OS.gdk_screen_get_monitor_at_point (screen, 0, 0); int scale = OS.gdk_screen_get_monitor_scale_factor (screen, monitor_num); dpi = dpi * scale; } return DPIUtil.mapDPIToZoom (dpi); } /**
/** * Gets the scaling factor from the device and calculates the zoom level. * @return zoom in percentage * * @noreference This method is not intended to be referenced by clients. * @nooverride This method is not intended to be re-implemented or extended by clients. * @since 3.105 */ protected int getDeviceZoom() { int /*long*/ screen = OS.gdk_screen_get_default(); int dpi = (int) OS.gdk_screen_get_resolution (screen); if (dpi <= 0) dpi = 96; // gdk_screen_get_resolution returns -1 in case of error if (OS.GTK_VERSION > OS.VERSION(3, 9, 0)) { int monitor_num = OS.gdk_screen_get_monitor_at_point (screen, 0, 0); int scale = OS.gdk_screen_get_monitor_scale_factor (screen, monitor_num); dpi = dpi * scale; } return DPIUtil.mapDPIToZoom (dpi); } /**