Improve the text for new Preferences options

This commit is contained in:
Veronica K. B. Olsen
2021-03-14 15:00:31 +01:00
parent 7b7f028d74
commit 567d1ae104
5 changed files with 50 additions and 52 deletions
+11 -11
View File
@@ -2890,29 +2890,29 @@
<source>Insert non-breaking space before</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1047"/>
<source>Automatically add space before any of the symbols.</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1057"/>
<source>Insert non-breaking space after</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1057"/>
<source>Automatically add space after any of the symbols.</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1067"/>
<source>Use thin space instead</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1047"/>
<source>Automatically add space before any of these symbols.</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1057"/>
<source>Automatically add space after any of these symbols.</source>
<translation></translation>
</message>
<message>
<location filename="../nw/gui/preferences.py" line="1067"/>
<source>Inserts a thinner space instead of regular space.</source>
<source>Inserts a thin space instead of a regular space.</source>
<translation></translation>
</message>
</context>