Completed
Push — master ( 36e57a...f7d5df )
by Stephan
31s
created

Changes

1 issue (minor) was introduced.
1 issue was fixed.
1 added class/operation
Arrow B persist_maximization() added
F B WindowManager.reposition() improved
A B WindowManager.calc_win_gravity() got worse
7.01
▲   + 0.18
Head
Stephan Sokolow  
Split maximization-persistence out of reposition() for maintainability
Base
Stephan Sokolow  
Add more MyPy type signatures and do associated refactoring