16 lines
344 B
Standard ML
16 lines
344 B
Standard ML
|
structure AppWith =
|
||
|
|
struct
|
||
|
|
open AppType
|
||
|
|
|
||
|
|
fun bufferAndSize (app: app_type, newBuffer, newWidth, newHeight) =
|
||
|
|
let
|
||
|
|
val {buffer = _, windowWidth = _, windowHeight = _, startLine} = app
|
||
|
|
in
|
||
|
|
{ buffer = newBuffer
|
||
|
|
, windowWidth = newWidth
|
||
|
|
, windowHeight = newHeight
|
||
|
|
, startLine = startLine
|
||
|
|
}
|
||
|
|
end
|
||
|
|
end
|