search

MisterGuinness / gnome-shell-extension-sensors

Gnome shell extension: Shows CPU temperature, HDD temperature, voltage and fan RPM
0 stars 0 forks source link

Fedora 34: Minor display issues in preferences #33

Closed MisterGuinness closed 3 years ago

MisterGuinness commented 3 years ago

There are a few minor issues with preferences, most of which seem to be related to the GTK3 to GTK4 change:

  1. The margin around the window content seems to be gone
  2. The text above the polling interval scale indicating the number of seconds is missing
  3. The on/off radio/toggle buttons are stretched
  4. (not related to GTK4) I think the label text should be right aligned rather than centered
MisterGuinness commented 3 years ago

Suggested fixes are in the document Port Extensions to GNOME Shell 40

  1. The "margin" property of the grid seems to do nothing, but the suggested margin_start/end/top/bottom work
  2. The default for the scale widget is now to NOT draw the number
  3. The default alignment is FILL, so probably should be START, refer Gtk Switchs are streched horozintally
MisterGuinness commented 3 years ago

Tested on gnome-shell 3.38 (F33) and 40.0 (F34)