mirror of
https://github.com/rabbibotton/clog.git
synced 2025-12-15 15:00:24 -08:00
Drop the custom boot file and use the new clog-gui
This commit is contained in:
parent
33b9344734
commit
420bc31015
6 changed files with 55 additions and 78 deletions
Binary file not shown.
|
Before Width: | Height: | Size: 1.7 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 2.1 KiB |
|
|
@ -1,56 +0,0 @@
|
|||
<!doctype HTML>
|
||||
<HTML>
|
||||
<HEAD>
|
||||
<meta http-equiv="Cache-Control" content="no-cache, no-store, must-revalidate" />
|
||||
<meta http-equiv="Pragma" content="no-cache" />
|
||||
<meta http-equiv="Expires" content="0" />
|
||||
<meta charset="utf-8">
|
||||
<meta name="viewport" content="width=device-width, initial-scale=1">
|
||||
<script src="/js/jquery.min.js" type="text/javascript"></script>
|
||||
<script>var clog_debug = true;</script>
|
||||
<script src="/js/boot.js" type="text/javascript"></script>
|
||||
<link rel="stylesheet" href="https://www.w3schools.com/w3css/4/w3.css">
|
||||
<script src="https://pagecdn.io/lib/ace/1.4.12/ace.js" type="text/javascript" charset="utf-8"></script>
|
||||
</HEAD>
|
||||
|
||||
<BODY class="w3-teal">
|
||||
<div id='ide-menu' class="w3-bar w3-black w3-card-4">
|
||||
<button id='ide-logo' class="w3-button w3-bar-item">
|
||||
<img height=22 src="/demo/clogwicon.png"></button>
|
||||
<div class="w3-dropdown-hover">
|
||||
<button class="w3-button">File</button>
|
||||
<div class="w3-dropdown-content w3-bar-block w3-card-4">
|
||||
<span id='ide-file-new' class="w3-bar-item w3-button">New</span>
|
||||
<span id='ide-file-open' class="w3-bar-item w3-button">Open...</span>
|
||||
<span id='ide-file-save' class="w3-bar-item w3-button">Save</span>
|
||||
<span id='ide-file-save-as' class="w3-bar-item w3-button">Save as...</span>
|
||||
</div>
|
||||
</div>
|
||||
<div class="w3-dropdown-hover">
|
||||
<button class="w3-button">Edit</button>
|
||||
<div class="w3-dropdown-content w3-bar-block w3-card-4">
|
||||
<span id="ide-edit-copy" class="w3-bar-item w3-button">Copy</span>
|
||||
<span id="ide-edit-cut" class="w3-bar-item w3-button">Cut</span>
|
||||
<span id="ide-edit-paste" class="w3-bar-item w3-button">Paste</span>
|
||||
</div>
|
||||
</div>
|
||||
<div class="w3-dropdown-hover">
|
||||
<button class="w3-button">Lisp</button>
|
||||
<div class="w3-dropdown-content w3-bar-block w3-card-4">
|
||||
<span id="ide-lisp-eval-file" class="w3-bar-item w3-button">Eval Current File</span>
|
||||
</div>
|
||||
</div>
|
||||
<div class="w3-dropdown-hover">
|
||||
<button class="w3-button">Help</button>
|
||||
<div class="w3-dropdown-content w3-bar-block w3-card-4">
|
||||
<span id="ide-help-about" class="w3-bar-item w3-button">About CLOG Demo 3</span>
|
||||
</div>
|
||||
</div>
|
||||
<span class="w3-bar-item w3-right" style='user-select:none;'
|
||||
onClick="if (document.fullscreenElement==null) {
|
||||
documentElement.requestFullscreen()
|
||||
} else {document.exitFullscreen();}">⤢</span>
|
||||
</div>
|
||||
|
||||
</BODY>
|
||||
</HTML>
|
||||
Loading…
Add table
Add a link
Reference in a new issue