a few bug fixes to NORMAL_SEARCH_MODE: the main one is that we were passing the general searchString to the resize function before, and we were drawing the wrong string because of that; another bug fix is that, on resizing, we have to update the mode to contain the recalculated searchScrollColumn
This commit is contained in:
@@ -102,10 +102,16 @@ struct
|
||||
end
|
||||
|
||||
fun bufferAndSize
|
||||
(app: app_type, newBuffer, newWindowWidth, newWindowHeight, newMsgs) =
|
||||
( app: app_type
|
||||
, newMode
|
||||
, newBuffer
|
||||
, newWindowWidth
|
||||
, newWindowHeight
|
||||
, newMsgs
|
||||
) =
|
||||
let
|
||||
val
|
||||
{ mode
|
||||
{ mode = _
|
||||
, windowWidth = _
|
||||
, windowHeight = _
|
||||
, msgs = _
|
||||
@@ -118,7 +124,7 @@ struct
|
||||
, visualScrollColumn
|
||||
} = app
|
||||
in
|
||||
{ mode = mode
|
||||
{ mode = newMode
|
||||
, buffer = newBuffer
|
||||
, windowWidth = newWindowWidth
|
||||
, windowHeight = newWindowHeight
|
||||
|
||||
Reference in New Issue
Block a user