Skip to content

Commit 0a0400e

Browse files
committed
Fix linting, break apart CSS, and make editor managment nicer
1 parent f99fb4d commit 0a0400e

7 files changed

Lines changed: 1316 additions & 1208 deletions

File tree

Public/editor.html

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
<link rel="stylesheet" href="codemirror/addon/fold/foldgutter.css">
1010
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=JetBrains+Mono:wght@300;400;500;600&display=swap">
1111
<link rel="stylesheet" href="styles/editor.css">
12+
<link rel="stylesheet" href="styles/e_header_footer.css">
13+
<link rel="stylesheet" href="styles/e_sidebar.css">
1214
<link rel="stylesheet" href="codemirror/theme/default.css">
1315
<link rel="stylesheet" href="codemirror/addon/scroll/simplescrollbars.css">
1416
<link rel="stylesheet" href="codemirror/addon/lint/lint.css">
@@ -283,7 +285,8 @@
283285
<script src="codemirror/addon/edit/continuelist.js"></script>
284286
<script defer src="codemirror/lib/jshint.js"></script>
285287
<script defer src="codemirror/lib/beautify.min.js"></script>
286-
<script src="./utils/editor-managers.js"></script>
288+
<script src="./utils/editor_managers.js"></script>
289+
<script src="./utils/editor_settings.js"></script>
287290
<script src="editor.js"></script>
288291
</body>
289292
</html>

0 commit comments

Comments
 (0)