 Kartik K. Agaram
|
2ea70f3adf
Merge text.love
|
7 miesięcy temu |
|
Kartik K. Agaram
|
46cd42ecdc
Merge lines.love
|
7 miesięcy temu |
|
Kartik K. Agaram
|
4af6f7b9e7
bugfix in source editor
|
7 miesięcy temu |
|
Kartik K. Agaram
|
6ed97fbd94
Merge text.love
|
10 miesięcy temu |
|
Kartik K. Agaram
|
262c078133
Merge lines.love
|
10 miesięcy temu |
|
Kartik K. Agaram
|
69c88da98c
stop caching starty
|
10 miesięcy temu |
|
Kartik K. Agaram
|
dedb843535
Merge text.love
|
1 rok temu |
|
Kartik K. Agaram
|
348852ee2b
Merge lines.love
|
1 rok temu |
|
Kartik K. Agaram
|
95d88a8298
use editor state font for width calculations
|
1 rok temu |
|
Kartik K. Agaram
|
4121613fc6
don't save settings on error in source editor
|
1 rok temu |
|
Kartik K. Agaram
|
5d4fd4aa93
fix still more issues with the previous scenario
|
1 rok temu |
|
Kartik K. Agaram
|
6c568c6ef0
Merge text.love
|
1 rok temu |
|
Kartik K. Agaram
|
6bd2086b51
Merge lines.love
|
1 rok temu |
|
Kartik K. Agaram
|
aa6bfb4b15
moar bugfix X-(
|
1 rok temu |
|
Kartik K. Agaram
|
bd2179d8aa
bugfix
|
1 rok temu |
|
Kartik K. Agaram
|
0f4aea6db7
pull font into editor
|
1 rok temu |
|
Kartik K. Agaram
|
f0436579c0
Merge text.love
|
1 rok temu |
|
Kartik K. Agaram
|
09c76c82c2
Merge lines.love
|
1 rok temu |
|
Kartik K. Agaram
|
715c6fd32f
source: show file being edited in window title bar
|
1 rok temu |
|
Kartik K. Agaram
|
76f119b7b9
hide line numbers from log browser
|
1 rok temu |
|
Kartik K. Agaram
|
6e429d3e4d
Merge text.love
|
1 rok temu |
|
Kartik K. Agaram
|
1a88b4a290
Merge lines.love
|
1 rok temu |
|
Kartik K. Agaram
|
1fd30c0462
always show line numbers in source editor
|
1 rok temu |
|
Kartik K. Agaram
|
b70fa64d1b
Merge text.love
|
1 rok temu |
|
Kartik K. Agaram
|
37cb030489
Merge lines.love
|
1 rok temu |
|
Kartik K. Agaram
|
7062963888
Revert "deemphasize the source editor"
|
1 rok temu |
|
Kartik K. Agaram
|
60b6308fc7
Merge text.love
|
1 rok temu |
|
Kartik K. Agaram
|
529857ad73
Merge lines.love
|
1 rok temu |
|
Kartik K. Agaram
|
e74b92b733
show any error after switching to source editor
|
1 rok temu |
|
Kartik K. Agaram
|
5eec90424e
Merge text.love
|
1 rok temu |
