stop blanking screen while resizing
[?]
Jul 1, 2022, 4:56 AM
BATTU6HWR5MV5B2AAICEMRBP6UNGF3EC6Y45BNTQYYSCTCBVCNOACDependencies
- [2]
PX7DDEMOautosave slightly less aggressively - [3]
DHCLUDCW. - [4]
6J3NXBYGaffordance to adjust width for word wrap - [5]
OTIBCAUJlove2d scaffold - [6]
K464QQR4more defensive resize handling - [7]
YIQYNVD2rip out the line-width slider
Change contents
- edit in main.lua at line 210
-- some hysteresis while resizingif Last_resize_time thenif App.getTime() - Last_resize_time < 0.1 thenreturnelseLast_resize_time = nilendend