diff options
| author | Andre Klapper <a9016009@gmx.de> | 2020-01-04 19:30:26 +0100 |
|---|---|---|
| committer | Andre Klapper <a9016009@gmx.de> | 2020-01-04 19:30:26 +0100 |
| commit | 99171c093a2d6dc03fdc36ae6321569a2616cde6 (patch) | |
| tree | 2c7fcbd15c533604903d2a0f2c2e7c48d6424bb4 /help | |
| parent | 8458f8d020867053e802b8f472fab01841e9b733 (diff) | |
| download | gnome-terminal-99171c093a2d6dc03fdc36ae6321569a2616cde6.tar.gz | |
help: Split a sentence to reuse and save translators' time
Diffstat (limited to 'help')
| -rw-r--r-- | help/C/pref-keyboard-access.page | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/help/C/pref-keyboard-access.page b/help/C/pref-keyboard-access.page index f3908e71..8da64166 100644 --- a/help/C/pref-keyboard-access.page +++ b/help/C/pref-keyboard-access.page @@ -35,8 +35,9 @@ <note style="important"> <!-- see https://gitlab.gnome.org/GNOME/gnome-terminal/issues/145 --> <p>These keys will only have an effect in windows in which the menubar is - set to be visible. By default, the menubar is not visible.</p> - <p>Run the command <cmd>gsettings set org.gnome.Terminal.Legacy.Settings headerbar false</cmd> + set to be visible.</p> + <p>By default, the menubar is not visible. Run the command + <cmd>gsettings set org.gnome.Terminal.Legacy.Settings headerbar false</cmd> to see the menubar.</p> </note> |