From 1bf43ef28d3cd0d3a61044005cd7d62c4ad1ca51 Mon Sep 17 00:00:00 2001 From: Marcel Date: Thu, 7 Mar 2019 16:13:08 +0100 Subject: [PATCH] Improve document tabs and allow user to create new documents manually --- index.html | 10 +++++- js/FSMDocument.js | 8 ++++- js/export/export.js | 2 -- js/main.js | 78 ++++++++++++++++++++++++++++++++++++++------- js/menu.js | 6 ++++ 5 files changed, 88 insertions(+), 16 deletions(-) diff --git a/index.html b/index.html index 08672c0..9f8020e 100644 --- a/index.html +++ b/index.html @@ -74,11 +74,16 @@ * FSMDocument tabs */ + .document-tabs-container { + overflow-x: auto; + } + #document-tabs { list-style: none; padding: 0; margin: 0; height: 44px; + white-space: nowrap; } #document-tabs .document-tab { @@ -86,6 +91,7 @@ border: 1px solid rgba(0, 0, 0, .33); margin: 0; padding: 8px 16px; + cursor: pointer; } #document-tabs .document-tab:first-child { @@ -204,13 +210,15 @@
-