-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathhaskedit.html
More file actions
63 lines (63 loc) · 2.87 KB
/
haskedit.html
File metadata and controls
63 lines (63 loc) · 2.87 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Haskedit - New</title>
<link rel="stylesheet" href="style/haskedit.css" />
<!-- This file can be whichever theme you'd like from
https://github.com/highlightjs/highlight.js/tree/main/src/styles -->
<link rel="stylesheet" href="themes/haskedit-default.css" />
<script src="haskedit_scripts/wait-for-element.js"></script>
<script src="main.js"></script>
</head>
<body class="haskedit-window">
<!-- find and replace window -->
<div id="find-and-replace" class="haskedit-find-replace-region collapsed">
<div class="input-wrapper">
<label for="find">Find</label>
<input id="find" class="haskedit-generic-input" placeholder="Enter string to find" />
</div>
<!-- <div class="button-wrapper">-->
<!-- <button id="find-prev" class="haskedit-generic-button">Find Previous</button>-->
<!-- <button id="find-next" class="haskedit-generic-button">Find Next</button>-->
<!-- </div>-->
<div class="input-wrapper">
<label for="replace">Replace</label>
<input id="replace" class="haskedit-generic-input" placeholder="Enter replacement string" />
</div>
<div class="button-wrapper">
<!-- <button id="replace-this" class="haskedit-generic-button">Replace</button>-->
<button id="replace-all" class="haskedit-generic-button">Replace All</button>
</div>
</div>
<!-- text editing area -->
<div class="haskedit-main-region">
<script type="module">
(async () => { await import ('./node_modules/highlighted-code/index.js'); })();
</script>
<div class="ruler"></div>
<textarea id="editor" class="highlighted-code-override" is="highlighted-code" language="haskell" tab-size="2" placeholder="Space, the final frontier"></textarea>
</div>
<!-- command prompt allows you run commands and see the stdout -->
<div id="prompt-region" class="haskedit-prompt collapsed">
<div id="prompt-inner" class="prompt-inner">
<div id="stdout" class="stdout-wrapper"></div>
<div id="prompt-wrapper" class="prompt-wrapper">
<p id="prompt" class="prompt-text"></p>
<input id="prompt-input" class="prompt-input" type="text" />
</div>
</div>
</div>
<!-- useful information like saved status, build status, line number, character
encoding standards, indentation level -->
<div class="haskedit-status">
<div id="saved-indicator" class="status-item saved-indicator true">Saved</div>
<div id="formatted-indicator" class="status-item formatted-indicator false">Not Formatted</div>
<div id="file-name-display" class="status-item file">*New</div>
<div class="spacer"></div>
<div id="line-character-numbers" class="status-item">0:0</div>
<div id="character-encoding" class="status-item blurred">UTF-8</div>
<div id="indentation-level" class="status-item">2 spaces</div>
</div>
</body>
</html>