Dmitry Vasilev
|
3d9ea7a44b
|
Fix bug
addLineWidget(widget) was called twice with the same widget, which caused
inifite loop in ace editor
|
2023-07-14 03:32:33 +03:00 |
|
Dmitry Vasilev
|
65bfacc180
|
fix margin of value exp
|
2023-07-14 03:31:46 +03:00 |
|
Dmitry Vasilev
|
823170312a
|
resize editor
|
2023-07-14 03:31:46 +03:00 |
|
Dmitry Vasilev
|
146fefbac2
|
adjust value explorer margin
|
2023-07-14 03:31:46 +03:00 |
|
Dmitry Vasilev
|
59cb2c9c6c
|
basic autocomplete
|
2023-07-14 03:31:46 +03:00 |
|
Dmitry Vasilev
|
65d17ffa26
|
remove dead code
|
2023-05-23 18:20:40 +03:00 |
|
Dmitry Vasilev
|
6c82e78a0f
|
finish record io
|
2023-05-23 18:20:40 +03:00 |
|
Dmitry Vasilev
|
653ecc7479
|
throw null
|
2023-05-23 18:20:40 +03:00 |
|
Dmitry Vasilev
|
131c0565f1
|
linter
|
2023-05-23 18:20:40 +03:00 |
|
Dmitry Vasilev
|
7e2f2d82b9
|
rename caret -> cursor
|
2022-12-03 03:18:54 +08:00 |
|
Dmitry Vasilev
|
e3a742ae77
|
make cursor position controlled property of state
|
2022-12-03 03:17:01 +08:00 |
|
Dmitry Vasilev
|
6a11e1d0d8
|
refactor key bindings
|
2022-10-25 04:43:35 +08:00 |
|
Dmitry Vasilev
|
359b2772f6
|
toggle editor fullscreen (focus mode)
|
2022-10-18 01:27:46 +08:00 |
|
Dmitry Vasilev
|
8c7c68ba50
|
Collect console log and allow time-travel to log invocation
|
2022-10-17 02:49:21 +08:00 |
|
Dmitry Vasilev
|
fad075ad37
|
initial
|
2022-09-10 02:48:13 +08:00 |
|