From 209c27abbe021ddc68b7d982d9d7e5c0a7a8780f Mon Sep 17 00:00:00 2001 From: joshuaboud Date: Tue, 1 Jun 2021 11:06:41 -0300 Subject: [PATCH] add area to show files being edited for batch --- navigator/navigator.css | 17 +++++++++++++++-- navigator/navigator.html | 13 ++++++++----- 2 files changed, 23 insertions(+), 7 deletions(-) diff --git a/navigator/navigator.css b/navigator/navigator.css index e828bcf..d2be5b6 100644 --- a/navigator/navigator.css +++ b/navigator/navigator.css @@ -153,7 +153,7 @@ body::-webkit-scrollbar-thumb { margin-bottom: 1em; } -.spacer-stretchy { +.flex-grow { flex-grow: 1; } @@ -262,7 +262,6 @@ input[type="text"] { } .nav-info-column-filename { - flex: 1; margin: 0 12px 0 12px; font-weight: bolder; font-size: 150%; @@ -318,6 +317,20 @@ input[type="text"] { padding-left: 50%; } +#selected-files-list-header { + margin-left: 12px; + font-weight: bold; +} + +#selected-files-list { + margin-left: 12px; +} + +.monospace-sm { + font-family: 'Courier New', Courier, monospace; + font-size: 80%; +} + .nav-btn-group { display: flex; flex-flow: row nowrap; diff --git a/navigator/navigator.html b/navigator/navigator.html index 6af6628..c7ab98a 100644 --- a/navigator/navigator.html +++ b/navigator/navigator.html @@ -77,8 +77,8 @@
-