 Kartik K. Agaram
|
e0ccf1de67
bugfix: Unicode
|
vor 3 Monaten |
|
Kartik K. Agaram
|
f98cdd14fd
explicitly state when operations manage undo
|
vor 5 Monaten |
|
Kartik K. Agaram
|
fab72a2902
fix a comment
|
vor 6 Monaten |
|
Kartik K. Agaram
|
1d3751fb82
clean up an unnecessary mutation
|
vor 6 Monaten |
|
Kartik K. Agaram
|
c7c54a00b6
consistently schedule_save after all mutations
|
vor 6 Monaten |
|
Kartik K. Agaram
|
5a74b6938e
purge obsolete term 'fragment'
|
vor 6 Monaten |
|
Kartik K. Agaram
|
91a08eec2b
use deepcopy where possible
|
vor 7 Monaten |
|
Kartik K. Agaram
|
55f5c2d696
crap, fix some final changes in the source editor
|
vor 7 Monaten |
|
Kartik K. Agaram
|
69c88da98c
stop caching starty
|
vor 7 Monaten |
|
Kartik K. Agaram
|
f2299cb422
stop caching screen_bottom1
|
vor 7 Monaten |
|
Kartik K. Agaram
|
9b5a78d3c5
bugfix in source editor
|
vor 7 Monaten |
|
Kartik K. Agaram
|
4e9298dda1
bugfix in cursor positioning
|
vor 11 Monaten |
|
Kartik K. Agaram
|
95d88a8298
use editor state font for width calculations
|
vor 1 Jahr |
|
Kartik K. Agaram
|
e36559d264
bugfix: utf-8
|
vor 1 Jahr |
|
Kartik K. Agaram
|
0c4730dffc
make button backgrounds optional
|
vor 1 Jahr |
|
Kartik K. Agaram
|
961f296131
fix a couple of asserts missed in the recent audit
|
vor 1 Jahr |
|
Kartik K. Agaram
|
9ed7c576e6
port keyboard layout handling to source editor
|
vor 1 Jahr |
|
Kartik K. Agaram
|
c1f7f17f9c
bugfix: infinite loop inside a very narrow window
|
vor 1 Jahr |
|
Kartik K. Agaram
|
0751b38932
establish a fairly fundamental invariant
|
vor 1 Jahr |
|
Kartik K. Agaram
|
007b965b11
audit all asserts
|
vor 1 Jahr |
|
Kartik K. Agaram
|
4b3f359526
clearer API for drawing a button
|
vor 1 Jahr |
|
Kartik K. Agaram
|
76f119b7b9
hide line numbers from log browser
|
vor 1 Jahr |
|
Kartik K. Agaram
|
1fd30c0462
always show line numbers in source editor
|
vor 1 Jahr |
|
Kartik K. Agaram
|
b93c0cd6cc
reorganize some comments
|
vor 1 Jahr |
|
Kartik K. Agaram
|
bb3e12eb5f
bugfix: search highlight straddling screen lines
|
vor 1 Jahr |
|
Kartik K. Agaram
|
2b52383e18
remove a duplicate print to screen
|
vor 1 Jahr |
|
Kartik K. Agaram
|
8879fd6f29
extract a variable
|
vor 1 Jahr |
|
Kartik K. Agaram
|
d6c06db97a
bugfix: highlight search patterns on the right line
|
vor 1 Jahr |
|
Kartik K. Agaram
|
f7f42b0bef
hoist and duplicate a conditional
|
vor 1 Jahr |
|
Kartik K. Agaram
|
484b76f5c6
improve a comment
|
vor 1 Jahr |
