a7c419f27a
This extension moves the dash into the gnome main panel. https://github.com/home-sweet-gnome/dash-to-panel PR: 243771
13 lines
370 B
Text
13 lines
370 B
Text
[
|
|
{
|
|
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
|
|
}
|
|
]
|