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/gui | |
| parent | 65366505b3d04422cb9ec93414e1c8e474f5aa08 (diff) | |
grc: Include scale factor when computing drawing area size.
Fixes #4174.
Signed-off-by: Ryan Volz <ryan.volz@gmail.com>
Diffstat (limited to 'grc/gui')
| -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 637a3e3e6b..a5cc32b3dd 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 |