keyboard.js: JS error this._rect is undefined
gnome-shell-3.28.3 with/without patch from !154 (merged)
complains:
JS ERROR: Exception in callback for signal: position-changed: TypeError: this._rect is undefined getCurrentRect@resource:///org/gnome/shell/ui/keyboard.js:547:22 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 _onFocusPositionChanged@resource:///org/gnome/shell/ui/keyboard.js:619:20 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 _emit@resource:///org/gnome/gjs/modules/signals.js:128:27 _setCurrentWindow/this._currentWindowPositionId<@resource:///org/gnome/shell/ui/keyboard.js:528:21
Easiest action to reproduce is using doubleclick on titlebar of any window to maximize/minimize