diff options
| author | Johnathan Corgan <johnathan@corganlabs.com> | 2016-11-12 06:29:42 -0800 |
|---|---|---|
| committer | Johnathan Corgan <johnathan@corganlabs.com> | 2016-11-12 06:29:42 -0800 |
| commit | caf9120c31b5a0dfbcbc24fdd5d958017a7db963 (patch) | |
| tree | db244a2944b5d5bb2323c631c215e5424781304f /grc/gui/Constants.py | |
| parent | 69ab3557fbfd7a47c5f22d34fc273b757f2c67df (diff) | |
| parent | 8ddebb888bd73bbdda48dcf00d1bd1234858bd3c (diff) | |
Merge branch 'master' into next
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 |