language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-01 22:31:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5
slint/tools/online_editor
History
Simon Hausmann 0788a33c9a Fix online editor transition from errors to error free source 
Markers are show inline when errors occur during compilation. But when
those errors are fixed, the markers should go away.
2020-12-07 15:02:14 +01:00
..
.gitignore Ignore the generated pkg/ directory 2020-10-12 11:26:15 +02:00
highlighting.ts Update the online editor syntax highlighting to take in account dashes in identifiers 2020-11-09 15:07:42 +01:00
index.html Make the permalink visible again 2020-11-02 11:04:47 +01:00
index.ts Fix online editor transition from errors to error free source 2020-12-07 15:02:14 +01:00
package.json Add support for viewing the contents of other tabs in the online editor 2020-11-03 10:02:11 +01:00
tsconfig.json Add support for viewing the contents of other tabs in the online editor 2020-11-03 10:02:11 +01:00
webpack.common.js Online editor don't ship with support for other languages 2020-10-09 12:48:56 +02:00
webpack.dev.js Separate release and dev builds of the online editor 2020-10-05 16:45:29 +02:00
webpack.prod.js Separate release and dev builds of the online editor 2020-10-05 16:45:29 +02:00