From 874593a167f0bdadba6f6ce2a142d7104cccee16 Mon Sep 17 00:00:00 2001 From: azivner Date: Sat, 26 May 2018 15:28:36 -0400 Subject: [PATCH] fix code editor growing --- src/public/stylesheets/style.css | 1 + 1 file changed, 1 insertion(+) diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css index 7b4d4446f..1535e1383 100644 --- a/src/public/stylesheets/style.css +++ b/src/public/stylesheets/style.css @@ -272,6 +272,7 @@ div.ui-tooltip { .CodeMirror { font-family: "Liberation Mono", "Lucida Console", monospace; + height: auto; } #note-id-display {