Continuing the discussion from Gtk key themes for gnome shell:
@ebassi I’m catching up on the discussion of the deprecation of
gtk-key-theme. Based on my current understanding this feature has removed and replaced by GtkShortcutsController without an API in place for customizing these mappings.
I fully understand that such an API is not a blocker for the release of GTK 4; however, is the intention that applications that still want to provide a choice would now be handling this on a per-application basis until such an API is created? If so, do you envision the first-class Gnome apps supporting such pull requests?
Additionally, can you also briefly touch on the interactions between GtkShortcutsController and whether it might be extended to support the freedesktop default-keys-spec? I’ve been having trouble tracking down any discussions on the Gnome side regarding this.