Closed GuillaumeGomez closed 2 years ago
Fixes #604.
focus_widget seemed wrong too so I picked focused_widget instead.
focus_widget
focused_widget
Fixes #604.
focus_widget
seemed wrong too so I pickedfocused_widget
instead.