Completed
Push — master ( 93dd71...36e57a )
by Stephan
32s
created

Changes

2 issues (2 informational) were introduced.
1 issue was fixed.
2 added classes/operations
Arrow A WindowManager.is_relevant() added
Arrow B WindowManager.get_relevant_windows() added
B C WorkArea.get() got worse
6.83
▶   ± 0
Head
Stephan Sokolow  
Add more MyPy type signatures and do associated refactoring
Base
Stephan Sokolow  
Update ChangeLog