From 19620e11af1e8d19ced8b2a6740d182b6ad781a4 Mon Sep 17 00:00:00 2001 From: joshuaboud Date: Wed, 26 May 2021 17:15:28 -0300 Subject: [PATCH] implement file editor --- navigator/navigator.css | 19 +++++++++++++++++ navigator/navigator.html | 11 ++++++++++ navigator/navigator.js | 44 +++++++++++++++++++++++++++++++++++++++- 3 files changed, 73 insertions(+), 1 deletion(-) diff --git a/navigator/navigator.css b/navigator/navigator.css index 676830d..43b6b50 100644 --- a/navigator/navigator.css +++ b/navigator/navigator.css @@ -145,4 +145,23 @@ flex-flow: row nowrap; justify-content: flex-end; align-items: flex-start; +} + +.editor-header { + font-weight: bold; +} + +.edit-file-contents { + height: 100%; + flex-basis: 0; + flex-grow: 8; + flex-flow: column nowrap; + align-items: stretch; +} + +.edit-file-contents > textarea { + flex-grow: 1; + white-space: pre; + overflow: auto; + resize: none; } \ No newline at end of file diff --git a/navigator/navigator.html b/navigator/navigator.html index 98f937a..f6269d8 100644 --- a/navigator/navigator.html +++ b/navigator/navigator.html @@ -55,6 +55,17 @@
+