[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 01/02: grc: fix column widths on dpi scalin
From: |
git |
Subject: |
[Commit-gnuradio] [gnuradio] 01/02: grc: fix column widths on dpi scalings != 1 |
Date: |
Sat, 12 Nov 2016 15:15:08 +0000 (UTC) |
This is an automated email from the git hooks/post-receive script.
jcorgan pushed a commit to branch maint
in repository gnuradio.
commit 348229724c924271cd207412f8d491d7b2689a30
Author: Sebastian Müller <address@hidden>
Date: Wed Nov 2 10:52:57 2016 +0100
grc: fix column widths on dpi scalings != 1
---
grc/gui/Param.py | 3 ++-
grc/gui/Utils.py | 4 ++++
grc/gui/VariableEditor.py | 9 +++++----
3 files changed, 11 insertions(+), 5 deletions(-)
diff --git a/grc/gui/Param.py b/grc/gui/Param.py
index 4b5a3c2..c71e1c0 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 d85b846..a102a8a 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 362a7f6..f3d0530 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