-
Notifications
You must be signed in to change notification settings - Fork 163
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
platform: fix initial cursor size on Windows
6c0745c introduced the assumption in BufferedDisplay that the cursor is initially hidden, but this is not true on Windows. A possible solution is to do something similar to what we did for the screen size: we store in DisplayStrategy a variable that represents the actual cursor size, and update it in DisplayStrategy::reloadScreenInfo(). BufferedDisplay now stores the 'future' cursor size instead of the 'last' one. The only difference between this solution and the one for screen size is that while DisplayStrategy::size is modified exclusively from DisplayStrategy::reloadScreenInfo(), DisplayStrategy::caretSize is also modified from BufferedDisplay::flushScreen(), because flushScreen() does change the terminal's cursor size.
- Loading branch information
Showing
5 changed files
with
44 additions
and
37 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters