diff options
| author | Johnathan Corgan <johnathan@corganlabs.com> | 2016-11-12 06:29:27 -0800 |
|---|---|---|
| committer | Johnathan Corgan <johnathan@corganlabs.com> | 2016-11-12 06:29:27 -0800 |
| commit | 8ddebb888bd73bbdda48dcf00d1bd1234858bd3c (patch) | |
| tree | 294856bf7c095e6dfa2901a16e18d04d83909aeb /grc/gui/Constants.py | |
| parent | 7b0dfd802aa08c4d0aefde2df0361304d8f282f4 (diff) | |
| parent | 1775fb0d48138e5ced15cdc2fbef01589f294a2c (diff) | |
Merge branch 'maint'
Diffstat (limited to 'grc/gui/Constants.py')
| -rw-r--r-- | grc/gui/Constants.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/grc/gui/Constants.py b/grc/gui/Constants.py index 6a7b54dffa..f77221e52d 100644 --- a/grc/gui/Constants.py +++ b/grc/gui/Constants.py @@ -96,6 +96,9 @@ SCROLL_DISTANCE = 15 # How close the mouse click can be to a line and register a connection select. LINE_SELECT_SENSITIVITY = 5 +_SCREEN_RESOLUTION = gtk.gdk.screen_get_default().get_resolution() +DPI_SCALING = _SCREEN_RESOLUTION / 96.0 if _SCREEN_RESOLUTION > 0 else 1.0 + def update_font_size(font_size): global PORT_SEPARATION, BLOCK_FONT, PORT_FONT, PARAM_FONT, FONT_SIZE |