Oh preference dialogs of gnome-extensions-app, that's different. They
are meant to remain perfectly centred so yes dragging the bottom edge
will also move the top edge.
** Summary changed:
- Incorrect Window Resizing for Preference Dialogs
+ Dragging one edge of a modal dialog moves the opposite
** Summary changed:
- Incorrect Window Resizing for Extension Settings
+ Incorrect Window Resizing for Preference Dialogs
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1969558
