Official HUD / Global menu integration support ?

Asked by uptoyou on 2017-11-27

Are there any plans of official supporting or contributing to such gnome extensions like "Pixel saver" ? It's a horrible experience using Ubuntu 17.10 / 18.04 on 13 - 15 inch laptops without such feature.

Question information

Language:
English Edit question
Status:
Answered
For:
Ubuntu Edit question
Assignee:
No assignee Edit question
Last query:
2017-11-27
Last reply:
2017-11-28

If you use Gnome Shell then you can use the extension.
https://extensions.gnome.org/extension/723/pixel-saver/

They will get bug reports fed upstream. There may be a donation button on their website if you like (devs need coffee)

Can you help with this problem?

Provide an answer of your own, or ask uptoyou for more information if necessary.

To post a message you must log in.