Screen cast window selection widget fixes
This builds on top of the first part of !93 (using GListModel
, but not depending on the changed Shell API, for backportability). It fixes the following things
- The window list changing doesn't change what windows are selected (unless the selected window disappeared)
- Pressing the arrow keys or pressing (shift) tab doesn't reset the selected window anymore; this means it's now possible to navigate the widget using the keyboard
- One can now again unselect a window by clicking on it while it's selected
It achieves this by stopping to use GtkListBox
's selection feature, as it didn't play along with the intended behavior.