seem to have viK and viJ fixed for the moment, except when I delete from the first or second line with 'x' (deleting from other lines does not seem to make a difference)

2024-11-07 12:59:03 +00:00
parent a35c0803fb
commit a77003e348
3 changed files with 27 additions and 9 deletions
--- a/temp.txt
+++ b/temp.txt
@@ -1,5 +1,5 @@
 signature TEXT_BUILDER =
-sig
+sig aaron baron carrot durian
  (* Prerequisite: LineGap is moved to requested line first. *)
  val build: int * int * LineGap.t * int * int
             -> MailboxType.t list