1.2.5 (2022-11-20) Bug Fixes dont restore cursor when exiting. Fixes #230 (0115097) keep correct case for prefix match in popupmenu (4757fd9) reopen scrollbar windows if they were deleted somehow. Fixes #235 (74c7e29) reset view when update_layout fails. Fixes #155 (7d08ed5)
