Loading…
None
String updated in the repository |
|
None
Source string changed |
|
Things to check
English | Spanish | ||
---|---|---|---|
GNOME | GNOME | Tails | |
GNOME is a free and open-source desktop environment for Linux and other Unix-like operating systems. |
Source string description
type: Plain textFlags
no-wrap
<i>Settings</i>. At the bottom of the <b>Keyboard</b> section, choose
<b>View and Customize Shortcuts</b>.</p>
abre <span class="application">Configuración</span> y elige
<span class="guimenuitem">Dispositivos</span>
<span class="guimenuitem">Teclado</span> ▸.</p>