humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

address bug in text-window.sml: if we want to call getStartLineAfter, then always pass in a positive number

Browse Source
This commit is contained in:
Humza Shahid
2025-08-04 11:11:18 +01:00
parent b7cdbfbe02
commit f2f93c5760
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fcore/text-window.sml
View File

@@ -187,7 +187,7 @@ struct
else if cursorIdx > absIdx then else if cursorIdx > absIdx then
(* possibly move downwards *) (* possibly move downwards *)
getStartLineAfter getStartLineAfter
( startIdx ( Int.max (startIdx, 0)
, rStrHd , rStrHd
, oldLine , oldLine
, absIdx , absIdx