 Kartik K. Agaram
|
c17ea55439
bugfix: scrolling up using scroll wheel
|
hace 4 días |
|
Kartik K. Agaram
|
67e3cbe55a
simpler implementation of bugfix #2
|
hace 2 meses |
|
Kartik K. Agaram
|
6975b8b721
bugfix #3, attempt #2 in search UI
|
hace 2 meses |
|
Kartik K. Agaram
|
1693f1f160
bugfix #2 in search UI
|
hace 2 meses |
|
Kartik K. Agaram
|
c1a3616964
bugfix in search UI
|
hace 2 meses |
|
Kartik K. Agaram
|
1609d79516
bugfix: restart search on backspace
|
hace 3 meses |
|
Kartik K. Agaram
|
4af6f7b9e7
bugfix in source editor
|
hace 4 meses |
|
Kartik K. Agaram
|
f98cdd14fd
explicitly state when operations manage undo
|
hace 4 meses |
|
Kartik K. Agaram
|
5c8e3e96c8
clean up Drawing.before after creating undo event
|
hace 4 meses |
|
Kartik K. Agaram
|
c7c54a00b6
consistently schedule_save after all mutations
|
hace 6 meses |
|
Kartik K. Agaram
|
c064f0a97d
delete some seemingly redundant code
|
hace 6 meses |
|
Kartik K. Agaram
|
5a74b6938e
purge obsolete term 'fragment'
|
hace 6 meses |
|
Kartik K. Agaram
|
91a08eec2b
use deepcopy where possible
|
hace 7 meses |
|
Kartik K. Agaram
|
69c88da98c
stop caching starty
|
hace 7 meses |
|
Kartik K. Agaram
|
f2299cb422
stop caching screen_bottom1
|
hace 7 meses |
|
Kartik K. Agaram
|
19615eade0
bugfix in source editor: don't clear selection on M-arrow
|
hace 7 meses |
|
Kartik K. Agaram
|
9b5a78d3c5
bugfix in source editor
|
hace 7 meses |
|
Kartik K. Agaram
|
219ee11686
ensure tapping on editor brings up soft keyboard
|
hace 11 meses |
|
Kartik K. Agaram
|
1dbd734abb
fix yet another place
|
hace 11 meses |
|
Kartik K. Agaram
|
5d4fd4aa93
fix still more issues with the previous scenario
|
hace 1 año |
|
Kartik K. Agaram
|
aa6bfb4b15
moar bugfix X-(
|
hace 1 año |
|
Kartik K. Agaram
|
bd2179d8aa
bugfix
|
hace 1 año |
|
Kartik K. Agaram
|
0f4aea6db7
pull font into editor
|
hace 1 año |
|
Kartik K. Agaram
|
c29be0ffce
streamline button.lua
|
hace 1 año |
|
Kartik K. Agaram
|
0d3db19c85
clearing starty is redundant in mutations
|
hace 1 año |
|
Kartik K. Agaram
|
8399c42707
mouse button state in source editor
|
hace 1 año |
|
Kartik K. Agaram
|
007b965b11
audit all asserts
|
hace 1 año |
|
Kartik K. Agaram
|
4b3f359526
clearer API for drawing a button
|
hace 1 año |
|
Kartik K. Agaram
|
bd6f7d48e7
bugfix: clear selection when clicking above or below lines
|
hace 1 año |
|
Kartik K. Agaram
|
c43d884b6f
indent
|
hace 1 año |
