diff options
author | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 12:55:42 +0200 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 12:55:42 +0200 |
commit | 4317e7371e0acd39fe2ef76fc20a902f5cabdd42 (patch) | |
tree | 9d548648867647f76463c8aa425e8248e44a5002 /plugingui/mainwindow.cc | |
parent | 7c074d96d8b6c93bf76bb093aab124c267287668 (diff) |
Add new tabs to the main window.
Diffstat (limited to 'plugingui/mainwindow.cc')
-rw-r--r-- | plugingui/mainwindow.cc | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/plugingui/mainwindow.cc b/plugingui/mainwindow.cc index cbc3265..b99e781 100644 --- a/plugingui/mainwindow.cc +++ b/plugingui/mainwindow.cc @@ -85,6 +85,8 @@ void MainWindow::repaintEvent(RepaintEvent* repaintEvent) Painter painter(*this); + auto bar_height = tabs.getBarHeight(); + // Grey background painter.drawImageStretched(0, 0, back, width(), height()); @@ -92,10 +94,15 @@ void MainWindow::repaintEvent(RepaintEvent* repaintEvent) painter.drawImage(width() - logo.width() - 16, height() - logo.height(), logo); + // Topbar above the sidebars + topbar.setSize(16, bar_height); + painter.drawImage(0, 0, topbar); + painter.drawImage(width() - 16, 0, topbar); + // Sidebars - sidebar.setSize(16, height()); - painter.drawImage(0, 0, sidebar); - painter.drawImage(width() - 16, 0, sidebar); + sidebar.setSize(16, height() - bar_height + 1); + painter.drawImage(0, bar_height-1, sidebar); + painter.drawImage(width() - 16, bar_height-1, sidebar); } void MainWindow::sizeChanged(std::size_t width, std::size_t height) |