VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,827 Commits 15 Branches 450 Tags
40.beta
Commit Graph

7 Commits

Author SHA1 Message Date
Florian Müllner 53f5a92dc8 user-theme: Stop using header func for separators 
GTK4 provides built-in support for this common pattern, so use
that instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/148>
 2021-01-14 14:40:55 +01:00
Florian Müllner 3bef6be7c1 user-theme: Port to GTK4 
With the previous preparations in place, the actual GTK4 port is
now trivial:
 - replace Gtk.Container methods with widget-specific methods
 - stop using show_all()

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/148>
 2021-01-14 14:40:55 +01:00
Florian Müllner b83d38a72e user-theme: Track GSettings to sync checkmark 
GTK4 removes the generic GtkWidget API for accessing an inserted
action group, so we need an alternative for tracking the currently
selected theme.

Using the underlying GSettings object looks like the easiest option,
so do that.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/148>
 2021-01-14 14:40:54 +01:00
Florian Müllner 5b73960f34 extensions: Stop using :margin shortcut 
The property has been removed in GTK4, so prepare for a port by
setting the four individual margin properties instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/148>
 2021-01-14 14:40:54 +01:00
Florian Müllner ac937b9549 user-theme: Make rows non-selectable 
A row has to be activated to select a theme, not merely selected.
The selection therefore doesn't do anything, so disable it.
 2020-04-29 21:44:13 +02:00
Florian Müllner 5b2bdd138a user-themes: Support session mode styles 
Session mode stylesheets are installed in gnome-shell's theme
directory instead of a subdirectory of the global themes direc-
tory.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/118
 2020-04-17 16:33:03 +00:00
Florian Müllner 739b1e11a0 user-themes: Add preference widget 
While we don't endorse or support 3rd party theming, the extension
exists and is actively used. However right now the most convenient
way of setting it up is by installing Tweak Tool; give users an
alternative by providing a simple settings dialog ourselves.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/117
 2020-04-12 04:13:25 +02:00