feat: update web-editor

2020-05-20 13:22:18 +02:00
parent a0668cce22
commit 1c966f6e9f
7 changed files with 168 additions and 17 deletions
--- a/cmd/web-editor/static/index.html
+++ b/cmd/web-editor/static/index.html
@@ -90,7 +90,7 @@

    <link rel="stylesheet" href="//netdna.bootstrapcdn.com/bootstrap/3.3.5/css/bootstrap.min.css">
    <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/8.3/styles/github.min.css">
-    <style>.ace_editor { height: 80%; }</style>
+    <style>.ace_editor { height: 80%; min-height: 500px; }</style>
  </head>
  <body ng-app="pggt">
    <div class="container-fluid" ng-controller="PggtCtrl">