25 lines
617 B
Standard ML
25 lines
617 B
Standard ML
structure AppUpdate =
|
|
struct
|
|
open AppType
|
|
|
|
open MailboxType
|
|
open DrawMsg
|
|
open InputMsg
|
|
|
|
fun resizeText (app: app_type, newWidth, newHeight) =
|
|
let
|
|
val {buffer, windowWidth, windowHeight, startLine, cursorIdx} = app
|
|
|
|
val newBuffer = LineGap.goToLine (startLine, buffer)
|
|
val drawMsg = TextBuilder.build
|
|
(startLine, 2, newBuffer, newWidth, newHeight)
|
|
|
|
val newApp = AppWith.bufferAndSize (app, newBuffer, newWidth, newHeight)
|
|
in
|
|
(newApp, drawMsg)
|
|
end
|
|
|
|
fun update (app, msg) =
|
|
case msg of RESIZE_EVENT (width, height) => resizeText (app, width, height)
|
|
end
|