dbkblk@lemmy.world to Linux@lemmy.worldEnglish · 8 hours agoGnome : a new website has landedwww.gnome.orgexternal-linkmessage-square19fedilinkarrow-up143arrow-down12cross-posted to: gnome@discuss.tchncs.de
arrow-up141arrow-down1external-linkGnome : a new website has landedwww.gnome.orgdbkblk@lemmy.world to Linux@lemmy.worldEnglish · 8 hours agomessage-square19fedilinkcross-posted to: gnome@discuss.tchncs.de
minus-squareDestide@feddit.uklinkfedilinkEnglisharrow-up1·8 hours agoSettings>Keyboard>keyboard shortcuts
minus-squarea14o@feddit.orglinkfedilinkEnglisharrow-up1·5 hours agoThere are hidden settings that you can change. Try googling in combination with “dconf” or “dconf editor”.
minus-squareAllerolinkfedilinkEnglisharrow-up1·3 hours agoThanks for the reminder! I remember dconf-editor by my days on Linux Mint Cinnamon.
Settings>Keyboard>keyboard shortcuts
Searched there, no luck
There are hidden settings that you can change. Try googling in combination with “dconf” or “dconf editor”.
Thanks for the reminder!
I remember dconf-editor by my days on Linux Mint Cinnamon.