summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohnathan Corgan <johnathan@corganlabs.com>2016-11-12 07:01:37 -0800
committerJohnathan Corgan <johnathan@corganlabs.com>2016-11-12 07:01:37 -0800
commit31b28f0cf4694378b26617616d08b4082668962f (patch)
tree4a464278d21f7e6cb6b12bbdd613a44b59ff6d20
parent1775fb0d48138e5ced15cdc2fbef01589f294a2c (diff)
parent348229724c924271cd207412f8d491d7b2689a30 (diff)
Merge remote-tracking branch 'sbmueller/dpi_fix' into maint
-rw-r--r--grc/gui/Param.py3
-rw-r--r--grc/gui/Utils.py4
-rw-r--r--grc/gui/VariableEditor.py9
3 files changed, 11 insertions, 5 deletions
diff --git a/grc/gui/Param.py b/grc/gui/Param.py
index 4b5a3c294a..c71e1c0aa5 100644
--- a/grc/gui/Param.py
+++ b/grc/gui/Param.py
@@ -25,6 +25,7 @@ import gtk
from . import Colors, Utils, Constants
from .Element import Element
+from . import Utils
from ..core.Param import Param as _Param
@@ -39,7 +40,7 @@ class InputParam(gtk.HBox):
self._changed_callback = changed_callback
self._editing_callback = editing_callback
self.label = gtk.Label() #no label, markup is added by set_markup
- self.label.set_size_request(150, -1)
+ self.label.set_size_request(Utils.scale_scalar(150), -1)
self.pack_start(self.label, False)
self.set_markup = lambda m: self.label.set_markup(m)
self.tp = None
diff --git a/grc/gui/Utils.py b/grc/gui/Utils.py
index d85b846b3a..a102a8a873 100644
--- a/grc/gui/Utils.py
+++ b/grc/gui/Utils.py
@@ -136,3 +136,7 @@ def align_to_grid(coor, mode=round):
def scale(coor, reverse=False):
factor = DPI_SCALING if not reverse else 1 / DPI_SCALING
return tuple(int(x * factor) for x in coor)
+
+def scale_scalar(coor, reverse=False):
+ factor = DPI_SCALING if not reverse else 1 / DPI_SCALING
+ return int(coor * factor)
diff --git a/grc/gui/VariableEditor.py b/grc/gui/VariableEditor.py
index 362a7f687d..f3d0530ef1 100644
--- a/grc/gui/VariableEditor.py
+++ b/grc/gui/VariableEditor.py
@@ -26,6 +26,7 @@ import gobject
from . import Actions
from . import Preferences
+from . import Utils
from .Constants import DEFAULT_BLOCKS_WINDOW_WIDTH
BLOCK_INDEX = 0
@@ -111,9 +112,9 @@ class VariableEditor(gtk.VBox):
id_column = gtk.TreeViewColumn("Id", self.id_cell, text=ID_INDEX)
id_column.set_name("id")
id_column.set_resizable(True)
- id_column.set_max_width(300)
- id_column.set_min_width(80)
- id_column.set_fixed_width(100)
+ id_column.set_max_width(Utils.scale_scalar(300))
+ id_column.set_min_width(Utils.scale_scalar(80))
+ id_column.set_fixed_width(Utils.scale_scalar(100))
id_column.set_sizing(gtk.TREE_VIEW_COLUMN_FIXED)
id_column.set_cell_data_func(self.id_cell, self.set_properties)
self.id_column = id_column
@@ -129,7 +130,7 @@ class VariableEditor(gtk.VBox):
value_column.set_name("value")
value_column.set_resizable(False)
value_column.set_expand(True)
- value_column.set_min_width(100)
+ value_column.set_min_width(Utils.scale_scalar(100))
value_column.set_sizing(gtk.TREE_VIEW_COLUMN_AUTOSIZE)
value_column.set_cell_data_func(self.value_cell, self.set_value)
self.value_column = value_column