language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-03 15:14:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Fix online editor errors while typing

Browse source 
the id was changed causing JS errors
This commit is contained in:
Olivier Goffart 2020-10-30 18:09:06 +01:00
parent 69029e2e49
commit fc9da9b8ea
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tools/online_editor/index.html
View file

@ -27,7 +27,7 @@
</ul> </ul>
<div id="editor" class="h-100 border"></div> <div id="editor" class="h-100 border"></div>
</div> </div>
<p><a id=" permalink" href="#">permalink</a></p> <p><a id="permalink" href="#">permalink</a></p>
<script src="https://code.jquery.com/jquery-3.5.1.slim.min.js" <script src="https://code.jquery.com/jquery-3.5.1.slim.min.js"
integrity="sha384-DfXdz2htPH0lsSSs5nCTpuj/zy4C+OGpamoFVy38MVBnE+IbbVYUew+OrCXaRkfj" integrity="sha384-DfXdz2htPH0lsSSs5nCTpuj/zy4C+OGpamoFVy38MVBnE+IbbVYUew+OrCXaRkfj"