Closed amicalmant closed 3 months ago
It's a relatively new keyword, and isn't part of the language spec yet: https://gitlab.gnome.org/GNOME/gtksourceview/-/blob/master/data/language-specs/desktop.lang?ref_type=heads
If it gets added it would be there. Maybe open an issue in that repo?
If you want to fix it for yourself for now, you can edit the 'desktop.lang' files in both /usr/share/gtksourceview-3.0/language-specs
and /usr/share/gtksourceview-4/language-specs
and add:
<keyword>PrefersNonDefaultGPU</keyword>
to the 'standard-key' section.
In the past couple of Cinnamon versions, its desktop file editor has also supported the gpu key:
Thank you for this quick fix. Not a big deal but a nice-to-have little feature. :-)