From 76cb868382673c63c3e7b1ad38a4c53d811a24be Mon Sep 17 00:00:00 2001 From: Steven Hugg Date: Sat, 8 Jun 2019 11:31:14 -0400 Subject: [PATCH] fixed first line of editor disappearing finally --- css/codemirror.css | 3 +-- doc/notes.txt | 1 - 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/css/codemirror.css b/css/codemirror.css index b93fb015..55fde9f0 100644 --- a/css/codemirror.css +++ b/css/codemirror.css @@ -2,10 +2,9 @@ .CodeMirror { /* Set height, width, borders, and global font properties here */ - border: 1px solid #eee; font-family: "Andale Mono", "Menlo", "Lucida Console", monospace; font-size: 0.8em; - height: 96vh; + height: 94vh; } /* PADDING */ diff --git a/doc/notes.txt b/doc/notes.txt index 8716f321..eb863923 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -20,7 +20,6 @@ TODO: - show errors in list (maybe window list?) - click to go to error - what if error in include file you can't edit b/c it never appears? -- can't see 1st line in editor sometimes (when scrolling cursor past bottom of screen) - online help - show self-modifying code insns left of editor - facade/kbd shortcuts for emulators, focus