|
|
b47d041a99
|
turn off codemirror search
|
2023-12-19 22:09:11 +01:00 |
|
|
|
ffaf7ea157
|
punctuation is more readable
|
2023-12-17 17:41:10 +01:00 |
|
|
|
88ceb99bae
|
fixing selection color
|
2023-12-17 17:33:44 +01:00 |
|
|
|
8739c3b9b6
|
small selection fix
|
2023-12-16 13:44:12 +01:00 |
|
|
|
da656d1adf
|
fix warnings
|
2023-12-16 12:47:44 +01:00 |
|
|
|
932c8cb6ca
|
Colors are slightly better in the editor
|
2023-12-16 02:00:37 +01:00 |
|
|
|
427a6e470f
|
small progress
|
2023-12-15 22:42:06 +01:00 |
|
|
|
94c1574d96
|
semantic color naming
|
2023-12-15 19:48:42 +01:00 |
|
|
|
fb4d311ba8
|
slow and tedious progress
|
2023-12-15 16:56:54 +01:00 |
|
|
|
32ae67b2c6
|
writing some very shady logic
|
2023-12-15 16:15:18 +01:00 |
|
|
|
0883e26f21
|
attributing random colors to everything
|
2023-12-15 16:00:46 +01:00 |
|
|
|
69cd462c68
|
Write the logic template for updating themes
|
2023-12-15 15:49:33 +01:00 |
|
|
|
eb8ef879e7
|
Rewrite part of evaluation logic, run prettier
|
2023-11-26 01:49:34 +01:00 |
|
|
|
74144ed3e8
|
continue with small optimizations
|
2023-11-19 21:51:00 +01:00 |
|
|
|
268533a5c6
|
minor optimisations
|
2023-11-19 21:36:46 +01:00 |
|
|
|
5a2f22574a
|
restore search window
|
2023-11-11 13:53:53 +01:00 |
|
|
|
bc19d375ea
|
add basic sample completion
|
2023-11-05 00:02:48 +01:00 |
|
|
|
32368f73ca
|
Add option to turn it on/off
|
2023-10-29 23:09:09 +01:00 |
|
|
|
dbd77211cb
|
Adding basic autocompletion
|
2023-10-29 22:28:55 +01:00 |
|
|
|
67d6836971
|
Slightly better font selection but still buggy
|
2023-10-21 16:33:54 +02:00 |
|
|
|
1f96799a9c
|
Refactoring: cleaning up main.ts file
|
2023-10-21 15:01:50 +02:00 |
|
|
|
ba06a35698
|
add menu option for hovering tips
|
2023-09-08 17:39:58 +02:00 |
|
|
|
4b9afb46a5
|
base of autocompletion
|
2023-09-08 16:35:05 +02:00 |
|
|
|
beecf49344
|
show or hide line numbers
|
2023-08-04 01:06:08 +02:00 |
|
|
|
4372ee2d6b
|
Markdown now applies for note buffer
|
2023-08-04 00:27:23 +02:00 |
|
|
|
fd20db2dc8
|
Font Size
|
2023-07-29 10:30:46 +02:00 |
|
|
|
c99962b7ef
|
more keys
|
2023-07-28 12:49:01 +02:00 |
|
|
|
aff5e643ac
|
Init commit
|
2023-07-28 01:23:38 +02:00 |
|
