[add] symbol wc
This commit is contained in:
parent
aede6dab36
commit
2a3e962c58
6 changed files with 138 additions and 7 deletions
|
|
@ -88,13 +88,16 @@
|
|||
</div>
|
||||
</div>
|
||||
</nav>
|
||||
|
||||
<main class="page-main" style="overflow: auto;">
|
||||
<!-- Editor goes in here -->
|
||||
<div id="editor"></div>
|
||||
|
||||
</main>
|
||||
|
||||
<aside class="page-sidebar">
|
||||
<div id="msg">(msgs)</div>
|
||||
<div class="bg-info">OutLine</div>
|
||||
<json-list id="symList" style="display:block; overflow:scroll; height: 10em;"></json-list>
|
||||
<select id="load">
|
||||
<option selected value="">load..</option>
|
||||
<optgroup label="XQuery3">
|
||||
|
|
@ -123,6 +126,7 @@
|
|||
<li>-</li>
|
||||
</ul>
|
||||
</aside>
|
||||
|
||||
<footer class="page-footer">
|
||||
Footer <select id="language">
|
||||
<option selected>Language</option>
|
||||
|
|
@ -163,6 +167,8 @@
|
|||
<!-- CodeMirror 6 -->
|
||||
<script src="./lsp.bundle.js"></script>
|
||||
<script src="./script.js"></script>
|
||||
<script src="./list.js"></script>
|
||||
|
||||
</body>
|
||||
|
||||
</html>
|
||||
Loading…
Add table
Add a link
Reference in a new issue