diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2018-07-20 14:40:41 +0200 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2018-07-20 14:40:41 +0200 |
| commit | a287cd28623e8f25ead557b069a10022fae68747 (patch) | |
| tree | b58e8fa729f96f4a8304f0cf57e9a8a3f3963ede /src/gui/mainwindow.h | |
| parent | 02986e09367f74cfca6fe391db22cffcd0affe68 (diff) | |
automatically resize source pane when jumping and parsing
Diffstat (limited to 'src/gui/mainwindow.h')
| -rw-r--r-- | src/gui/mainwindow.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui/mainwindow.h b/src/gui/mainwindow.h index 1e05239..10695b7 100644 --- a/src/gui/mainwindow.h +++ b/src/gui/mainwindow.h @@ -15,6 +15,7 @@ #include <QMainWindow> #include <QGraphicsView> +#include <QSplitter> namespace Ui { class MainWindow; @@ -35,6 +36,7 @@ public: TikzDocument *tikzDocument() const; ToolPalette *toolPalette() const; StylePalette *stylePalette() const; + QSplitter *splitter() const; QString tikzSource(); void setSourceLine(int line); |