Scaling support - scale by screen height (issue #656)

2018-01-19 21:37:56 +00:00
parent b2b0119f4d
commit 965a2665b0
6 changed files with 28 additions and 2 deletions
--- a/src/tint2conf/properties.h
+++ b/src/tint2conf/properties.h
@@ -9,7 +9,7 @@
 #include "../launcher/icon-theme-common.h"

 // panel
-extern GtkWidget *scale_relative_to_dpi;
+extern GtkWidget *scale_relative_to_dpi, *scale_relative_to_screen_height;
 extern GtkWidget *panel_width, *panel_height, *panel_margin_x, *panel_margin_y, *panel_padding_x, *panel_padding_y,
    *panel_spacing;
 extern GtkWidget *panel_wm_menu, *panel_dock, *panel_autohide, *panel_autohide_show_time, *panel_autohide_hide_time,