Giters

Luctins / gnome-shell-extension-extensions-settings-shortcuts

Gnome shell extension for automatically creating shortcuts to their settings through .desktop files

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Extensions settings Shortcuts

WIP gnome extension

About

Gnome shell extension for automatically creating shortcuts to their settings through .desktop files

Languages

Language:JavaScript 97.6%Language:CSS 2.4%