Update public/index.html
Browse files- public/index.html +14 -13
public/index.html
CHANGED
|
@@ -5,20 +5,21 @@
|
|
| 5 |
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
| 6 |
<title>Code Editor</title>
|
| 7 |
<link rel="stylesheet" href="styles.css">
|
| 8 |
-
<link rel="stylesheet" href="https://
|
| 9 |
-
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.12/codemirror.min.js"></script>
|
| 10 |
-
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.12/addon/edit/closebrackets.js"></script>
|
| 11 |
-
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.12/addon/lint/lint.js"></script>
|
| 12 |
-
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.65.12/addon/selection/active-line.js"></script>
|
| 13 |
|
| 14 |
-
<script src="https://
|
| 15 |
-
<script src="https://
|
| 16 |
-
<script src="https://
|
| 17 |
-
<script src="https://
|
| 18 |
-
|
| 19 |
-
<script src="https://
|
| 20 |
-
<script src="https://
|
| 21 |
-
<script src="https://
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 22 |
</head>
|
| 23 |
<body>
|
| 24 |
<div class="editor-container">
|
|
|
|
| 5 |
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
| 6 |
<title>Code Editor</title>
|
| 7 |
<link rel="stylesheet" href="styles.css">
|
| 8 |
+
<link rel="stylesheet" href="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/lib/codemirror.css">
|
|
|
|
|
|
|
|
|
|
|
|
|
| 9 |
|
| 10 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/lib/codemirror.js"></script>
|
| 11 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/addon/edit/closebrackets.js"></script>
|
| 12 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/addon/lint/lint.js"></script>
|
| 13 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/addon/selection/active-line.js"></script>
|
| 14 |
+
|
| 15 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/javascript/javascript.js"></script>
|
| 16 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/python/python.js"></script>
|
| 17 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/htmlmixed/htmlmixed.js"></script>
|
| 18 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/css/css.js"></script>
|
| 19 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/xml/xml.js"></script>
|
| 20 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/php/php.js"></script>
|
| 21 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/clike/clike.js"></script>
|
| 22 |
+
<script src="https://huggingface.co/spaces/codemirror/codemirror/resolve/main/mode/sql/sql.js"></script>
|
| 23 |
</head>
|
| 24 |
<body>
|
| 25 |
<div class="editor-container">
|