dbkblk@lemmy.world to Linux@lemmy.worldEnglish · 4 months agoGnome : a new website has landedwww.gnome.orgexternal-linkmessage-square20fedilinkarrow-up164arrow-down12cross-posted to: gnome@discuss.tchncs.de
arrow-up162arrow-down1external-linkGnome : a new website has landedwww.gnome.orgdbkblk@lemmy.world to Linux@lemmy.worldEnglish · 4 months agomessage-square20fedilinkcross-posted to: gnome@discuss.tchncs.de
minus-squareDestide@feddit.uklinkfedilinkEnglisharrow-up1·4 months agoSettings>Keyboard>keyboard shortcuts
minus-squarea14o@feddit.orglinkfedilinkEnglisharrow-up1·4 months agoThere are hidden settings that you can change. Try googling in combination with “dconf” or “dconf editor”.
minus-squareAllero@lemmy.todaylinkfedilinkEnglisharrow-up1·4 months 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.