From ca97f1bd709a154f73c9e28f8a50c5b409baab3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Fri, 5 Jan 2018 23:42:36 +0100 Subject: Fix how we handle scale of GraphicView That widget is seriously buggy.. grr --- qtmips_gui/coreview.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'qtmips_gui/coreview.h') diff --git a/qtmips_gui/coreview.h b/qtmips_gui/coreview.h index fddcafe..52b98ee 100644 --- a/qtmips_gui/coreview.h +++ b/qtmips_gui/coreview.h @@ -14,8 +14,11 @@ class CoreView : public QGraphicsView { public: CoreView(QWidget *parent); -private: +protected: void resizeEvent(QResizeEvent *event); +private: + const int scene_width = 800, scene_height = 800; + void update_scale(); }; class CoreViewScene : public QGraphicsScene { -- cgit v1.2.3