Restore GNOME Shell extension
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
terminus (Ubuntu) |
Fix Released
|
Medium
|
Jeremy Bícha | ||
Mantic |
Fix Released
|
Medium
|
Jeremy Bícha |
Bug Description
Impact
------
Earlier in the Ubuntu 23.10 development cycle, Terminus' GNOME Shell extension was removed because it wasn't compatible with GNOME Shell 45. Upstream now has a working patch for it, so let's restore the GNOME Shell extension.
Test Case
---------
- Install GNOME Shell Extension Manager
- Install the updated Terminus
- Log out, then log back in to the Ubuntu session (or any session running GNOME Shell)
- Open GNOME Shell Extension Manager. Enable Use Extensions. Enable Show Terminus Quick Mode.
- Close GNOME Shell Extension Manager
- Press Ctrl+Shift+F12 to open the drop-down terminal. Press Ctrl+Shift+F12 again to close it.
Where Problems Could Occur
-------
The only change here is adding the GNOME Shell extension. A GNOME Shell extension was provided in earlier Ubuntu releases. The extension is not required to use Terminus. If the extension is activated, it enables a drop-down "quake" mode with a global keyboard shortcut.
Other Info
----------
This cherry-picked commit adds a new build option to build either the GNOME Shell 45+ extension or the GNOME Shell <45 extension since it's not possible for the same code to support both simultaneously. This technique was also used by Workrave.
Could you please update the description with the full SRU template? At least the regression analysis.