Tor Hedin Brønner adcfa414ad preference: add use-workspace-name switch ... Defaults to true. If false uses gnome shell's `Activities` text and hides the workspace labels. Set to false like this: ``` Extension.imports.convenience.getSettings() .set_boolean('use-workspace-name', false) ```		2019-02-15 00:15:54 +01:00
..
gschemas.compiled	preference: add use-workspace-name switch	2019-02-15 00:15:54 +01:00
Makefile	Custom schema (let us create new keybindings/actions)	2017-09-11 18:02:55 +02:00
org.gnome.shell.extensions.org-scrollwm.gschema.xml	preference: add use-workspace-name switch	2019-02-15 00:15:54 +01:00