Thanks for the bug report.
You will need to report those bugs to the authors of each extension.
Since those extensions are not part of Ubuntu we cannot help with them
here.
** Package changed: xorg-server (Ubuntu) => gnome-shell (Ubuntu)
** Changed in: gnome-shell (Ubuntu)
Status: New => Invalid
** Tags added: disco
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to xorg-server in Ubuntu.
https://bugs.launchpad.net/bugs/1830896
Title:
Ubuntu 19.04 extensions are not working
Status in gnome-shell package in Ubuntu:
Invalid
Bug description:
In Ubuntu 19.04 the "No Title Bar" and the "Show Desktop Button" extensions
are not working.
The "Show Desktop Button" doesn't work at all, the "No Title Bar" show the
title and the window-buttons in the top-bar, but not removing the windows'
title bar.
After Ubuntu switched to Gnome I use this fetures, and worked fine on 18.04
version. Especially the "No Title Bar" extension is important to me, because
the Gnome's top-bar and the window's title-bar together occupy to much space,
and this is for me is uncomfortable, especially on laptop.
So please fix it!
Thanks, Lajos
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1830896/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
