From c76ed4ca3dce97712ece58ee896d48fe490181fa Mon Sep 17 00:00:00 2001 From: JannisX11 Date: Sun, 21 Nov 2021 19:28:19 +0100 Subject: [PATCH] Add option to auto hide tab bar --- css/window.css | 12 ++++++++++-- index.html | 1 + js/interface/interface.js | 5 +++-- js/interface/settings.js | 3 +++ js/io/project.js | 28 +++++++++++++++++++++++++--- lang/en.json | 3 ++- 6 files changed, 44 insertions(+), 8 deletions(-) diff --git a/css/window.css b/css/window.css index 622733e..484c3be 100644 --- a/css/window.css +++ b/css/window.css @@ -6,6 +6,8 @@ border: 2px solid var(--color-frame); border-top: none; background-color: var(--color-dark); + display: flex; + flex-direction: column; } #page_wrapper.invisible { visibility: hidden; @@ -36,7 +38,7 @@ "left_bar center right_bar" "left_bar status_bar right_bar"; width: 100%; - height: calc(100% - 30px); + min-height: 300px; } #tab_bar { @@ -408,6 +410,12 @@ li.menu_bar_point.highlighted { animation: menu_item_highlight 1s infinite ease-in-out; } + #title_bar_home_button { + height: 100%; + } + #title_bar_home_button > i { + margin-top: 2px; + } #mode_selector { font-size: 1.1em; @@ -591,7 +599,7 @@ flex-grow: 1; } #start_screen { - height: calc(100% - 30px); + min-height: 300px; width: 100%; padding: 36px 0; } diff --git a/index.html b/index.html index 7890f1d..d51480f 100644 --- a/index.html +++ b/index.html @@ -344,6 +344,7 @@ +
home