![]() wtop() checked w->topped == topped as a fast exit. if you had the top most window not being current (== input) which can happen when you delete the current window, then wtop would after resize would not make the window current because it is already top topmost one. wtopme() and wcurrent() both are non-ops when window is already the topmost or window is already current, so remove the check as its not needed. also topping the window feels less sluggish. |
||
---|---|---|
.. | ||
doc | ||
games/lib | ||
include | ||
lib | ||
man | ||
src |