blob: 3782e4cb8558b11603d33940e5074e6f2170e833 (
plain) (
tree)
|
|
[
{
message: <<EOM
This gnome-shell extension won't be usable until the gnome-shell
gets restarted. To do so, running the shell, press ALT+F2 and
type 'r'. That will restart the shell.
To enable or configure an extension, after restarting the shell, you
have to open a new gnome-tweak-tool instance. The new extension
should appear in the extensions section.
EOM
}
]
|