|
|
bff4c006ed
|
have functionality for cursor to scroll down a line when cursor moves down one line working, but it only seems to work perfectly when there are no visual line breaks
|
2024-10-28 21:56:07 +00:00 |
|
|
|
4b1ee33954
|
begin moving text window when cursor goes off screen (currently, we only move the window when cursor goes backwards but this works fine and as expected)
|
2024-10-28 09:34:55 +00:00 |
|
|
|
19073cb56c
|
improve code to move rightwards in cursor.sml (making it clearer with comments), and improve code to draw cursor at newline in text=builder.sml
|
2024-10-17 08:40:28 +01:00 |
|
|
|
0299a9e6b2
|
draw cursor at newline linebreaks (only \n though and not \r\n)
|
2024-10-17 06:25:43 +01:00 |
|
|
|
8fb362ba8b
|
handle \r\n pair in 'viL' function
|
2024-10-17 04:03:45 +01:00 |
|
|
|
21652a5381
|
in TextBuilder, forgot to build cursor when cursorIdx is over space, so now we build cursor when cursorIdx is over space
|
2024-10-17 02:14:09 +01:00 |
|
|
|
6344dca6cb
|
done fiddling with cursor; looks fine now
|
2024-10-09 12:42:07 +01:00 |
|
|
|
306d693877
|
have cursor drawn now, but it is not appropriate size for character so have to fix that next
|
2024-10-09 12:05:40 +01:00 |
|
|
|
5cc4357cc7
|
progress drawing cursor
|
2024-10-09 11:59:41 +01:00 |
|
|
|
2afc54abc5
|
additional preparation for drawing cursor (next, just need to send cursor vector)
|
2024-10-09 11:36:05 +01:00 |
|
|
|
9d7d00e8d1
|
add cursor buffer and cursor program to imperative shell
|
2024-10-09 11:22:39 +01:00 |
|
|
|
cfaa66bc0b
|
begin preparation for drawing cursor
|
2024-10-09 10:53:00 +01:00 |
|
|
|
bfc5a3914c
|
hardcode more pleasant (in my opinion) colour scheme for the moment
|
2024-10-09 01:23:26 +01:00 |
|
|
|
1ae15e5585
|
expand comment to reflect a bit of planning
|
2024-10-09 00:02:12 +01:00 |
|
|
|
6e4cc9acff
|
a bit of refactoring
|
2024-10-08 08:53:43 +01:00 |
|
|
|
b95fc48252
|
scaffolding for concurrent ml
|
2024-10-06 09:32:56 +01:00 |
|
|
|
6766fd1485
|
a bit of scaffolding to prepare for adding resize callback + message types
|
2024-10-06 08:18:24 +01:00 |
|
