because GLFW at this time has clipboard bugs on Wayland (setting clipboard string), we print out whenever the shell receives a 'yank' message indicating for GLFW to copy. This will let us test that the correct string is yanked.

This commit is contained in:
2025-09-02 02:18:14 +01:00
parent 6d9ad9b13b
commit 72e3b59bb7

View File

@@ -229,7 +229,15 @@ struct
end
fun yank (shellState: t, str) =
(Glfw.setClipboardString (#window shellState, str); shellState)
let
(* print when text is yanked *)
val msg = String.toCString str
val () = print msg
val () = print "\n"
val () = Glfw.setClipboardString (#window shellState, str)
in
shellState
end
fun consumeDrawEvent (shellState, msg) =
let