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/mainmenu.cpp | |
parent | 02986e09367f74cfca6fe391db22cffcd0affe68 (diff) |
automatically resize source pane when jumping and parsing
Diffstat (limited to 'src/gui/mainmenu.cpp')
-rw-r--r-- | src/gui/mainmenu.cpp | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/gui/mainmenu.cpp b/src/gui/mainmenu.cpp index fa52138..e297625 100644 --- a/src/gui/mainmenu.cpp +++ b/src/gui/mainmenu.cpp @@ -127,7 +127,12 @@ void MainMenu::on_actionParse_triggered() { MainWindow *win = tikzit->activeWindow(); if (win != 0) { - win->tikzScene()->parseTikz(win->tikzSource()); + if (win->tikzScene()->parseTikz(win->tikzSource())) { + QList<int> sz = win->splitter()->sizes(); + sz[0] = sz[0] + sz[1]; + sz[1] = 0; + win->splitter()->setSizes(sz); + } } } @@ -144,7 +149,12 @@ void MainMenu::on_actionJump_to_Selection_triggered() { MainWindow *win = tikzit->activeWindow(); if (win != 0) { - qDebug() << "jump to selection on line:" << win->tikzScene()->lineNumberForSelection(); + //qDebug() << "jump to selection on line:" << win->tikzScene()->lineNumberForSelection(); + QList<int> sz = win->splitter()->sizes(); + if (sz[1] == 0) { + sz[1] = 200; + win->splitter()->setSizes(sz); + } win->setSourceLine(win->tikzScene()->lineNumberForSelection()); } } |