ui: click on errors to go to line; fixed mainpath -> mainPath

2026-04-20 15:16:38 +00:00 · 2020-08-09 15:52:26 -05:00
parent 502ee5de0f
commit 17f99b34d4
3 changed files with 48 additions and 18 deletions
@@ -168,6 +168,9 @@ div.has-errors {
 div.is-busy-unused {
  background-color: #8888bb !important;
 }
+#error_alert_msg {
+  margin-right: 2em;
+}
 div.menu_div {
  position: absolute;
  width: 200px;