diff options
author | Ryan Volz <ryan.volz@gmail.com> | 2021-09-29 16:02:55 -0400 |
---|---|---|
committer | mormj <34754695+mormj@users.noreply.github.com> | 2021-09-30 14:53:52 -0400 |
commit | 59d04f4a19e54550b192d5d03f78a8307597c5cf (patch) | |
tree | f7ad050d6f4eea002a221d1b3136b16266fe0f53 /grc | |
parent | runtime: fix pybind of get_tags_in_window (diff) | |
download | gnuradio-59d04f4a19e54550b192d5d03f78a8307597c5cf.tar.xz gnuradio-59d04f4a19e54550b192d5d03f78a8307597c5cf.zip |
grc: Include scale factor when computing drawing area size.
Fixes #4174.
Signed-off-by: Ryan Volz <ryan.volz@gmail.com>
Diffstat (limited to 'grc')
-rw-r--r-- | grc/gui/DrawingArea.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/grc/gui/DrawingArea.py b/grc/gui/DrawingArea.py index 637a3e3e6..a5cc32b3d 100644 --- a/grc/gui/DrawingArea.py +++ b/grc/gui/DrawingArea.py @@ -154,7 +154,11 @@ class DrawingArea(Gtk.DrawingArea): def _update_size(self): w, h = self._flow_graph.get_extents()[2:] - self.set_size_request(w * self.zoom_factor + 100, h * self.zoom_factor + 100) + scale_factor = self.get_scale_factor() + self.set_size_request( + w * scale_factor * self.zoom_factor + 100, + h * scale_factor * self.zoom_factor + 100, + ) def _auto_scroll(self, event): x, y = event.x, event.y |