| .. |
|
editor
|
10134293e9
Allow Editor Plugins to define shortcuts and linting
|
8 years ago |
|
hostExtensions
|
14f1b626af
- Upgrade Typescript to 2.4.1
|
8 years ago |
|
resources
|
cbbafcaec3
Updated signature of getting a edit resource to allow passing a line number so that once the editor loads, it auto navigates to that line.
|
8 years ago |
|
ui
|
f13573fe78
Add asset database scan after successful import
|
8 years ago |
|
.gitignore
|
1c0fca1c81
Source Maps are now works for editor
|
10 years ago |
|
main.ts
|
329cd85550
Expose the timer api (setTimeout, clearTimeout, etc.) to the editor. Also add type definitions for the timer api to duktape.d.ts.
|
8 years ago |
JimMarlowe
f13573fe78
Add asset database scan after successful import