Unable to get preferences on Ubuntu 20.04 dev

0ry0n / Resource_Monitor

Resource_Monitor is a GNOME Shell extension that Monitor the use of system resources like cpu, ram, disk, network and display them in GNOME Shell top bar.

GNU General Public License v3.0

143 stars 20 forks source link

Unable to get preferences on Ubuntu 20.04 dev #7

Closed isbm closed 4 years ago

isbm commented 4 years ago

Describe the bug No way to get to the preferences

To Reproduce Extension works, but no matter where you click on it, you get only system monitor. The widths are shrank and I see only icons and dots. No idea how to change that.

Desktop (please complete the following information):

OS: Ubuntu 20.04 development

0ry0n commented 4 years ago

Please use gnome-tweak or extensions (gnome-shell-extension-prefs) to get extension preferences.

porridge commented 2 years ago

Took me a while to find that preferences are accessible through gnome tweak tool, would be great if you could mention this in the README. Thanks for this nice program!