akkartik
/
sokoban.love
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
sokoban.love/0013-on.keychord_press

12 lines
313 B
Plaintext
Raw Normal View History

new fork: carousel shell
2023-11-15 14:06:56 +00:00
on.keychord_press = function(chord, key)
responsively increase/decrease font height Only using hotkeys for now, which are only available on non-mobile devices, and not very discoverable. But this is an accessibility foundation.
2023-11-15 17:27:34 +00:00
if chord == 'C-=' then
update_font_settings(Editor_state.font_height+2)
elseif chord == 'C--' then
update_font_settings(Editor_state.font_height-2)
elseif chord == 'C-0' then
update_font_settings(20)
else
edit.keychord_press(Editor_state, chord, key)
end
start sketching out a scrollbar Not quite ideal: the scrollbar computation only considers screen_bottom1.line and not screen_bottom1.pos, and so it always assumes the final line is at the bottom of the screen. I'm making a deeper change here that I might come to regret. I want to avoid creating new book-keeping for editor mutations, so I'm putting the work of computing scrollbar data into clear_screen_line_cache. But that implies the editor should never clear before updating data, and I caught one place that wasn't true before. A better name helps avoid this in future. Let's see how much toil this causes in resolving conflicts.
2023-11-18 12:20:09 +00:00
end