search

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.
https://extensions.gnome.org/extension/1634/resource-monitor/
GNU General Public License v3.0
154 stars 21 forks source link

Internal panel does not resize with preferences window #54

Open egarcia1360 opened 2 years ago

egarcia1360 commented 2 years ago

When increasing the size of the extension's settings window in an attempt to remove scroll bars in tabs with long device names, the interior pane/panel containing the actual options does not resize with the window, amplifying the margins instead of the viewing area.

Window maximized for demonstration: Example: Window Maximized

0ry0n commented 2 years ago

I am aware of the problem, the point is system extensions also have the same problem (e.g Ubuntu AppIndicators), I think it is a gnome-shell problem. However I will try to solve the problem. image

alexislefebvre commented 1 year ago

See https://github.com/kgshank/gse-sound-output-device-chooser/issues/252 and https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6019

0ry0n commented 1 year ago

[UPDATE] GNOME 40.5 is not affected by this problem.