search

c0ldplasma / gnome-shell-extension-taskbar

Development stopped - GNOME Shell Extension TaskBar 2020 (GNOME 3.30-(3.)40)
https://extensions.gnome.org/extension/2506/taskbar-updated/
GNU General Public License v3.0
24 stars 9 forks source link

In preferences try to put wrappers around Gtk.Switch() elements to fix scaling #5

Closed c0ldplasma closed 4 years ago

c0ldplasma commented 4 years ago

Bildschirmfoto vom 2020-02-09 20-54-23 Bildschirmfoto vom 2020-02-09 20-55-14 Bildschirmfoto vom 2020-02-09 20-55-29

prefs.js

c0ldplasma commented 4 years ago

Fixed in ed31fd749f3e6bd5f1c025ff97885b7f4d934a9b

Not with wrappers but with chaning alignment of Gtk.Switch widgets