Translations:Konsole/26/en: Difference between revisions

Revision as of 22:10, 28 April 2019

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (Konsole)

You can change the padding between the border and the contents of Konsole (the "margin" or "gutters" between window border and text) by editing your profile file in {{Path|.local/share/konsole/[name of profile]}} and adding:

You can change the padding between the border and the contents of Konsole (the "margin" or "gutters" between window border and text) by editing your profile file in .local/share/konsole/[name of profile] and adding:

TerminalMargin=7

The number after "TerminalMargin" can be edited to whatever size you prefer. After that you need to log out and then log in to show the changes.

@@ Line 1: / Line 1: @@
-You can change the padding between the border and the contents of Konsole (the "margin" or "gutters" between window border and text) by editing your profile file in .local/share/konsole/[name of profile] and adding:
+You can change the padding between the border and the contents of Konsole (the "margin" or "gutters" between window border and text) by editing your profile file in {{Path|.local/share/konsole/[name of profile]}} and adding:
 {{Input|1=TerminalMargin=7}}
 The number after "TerminalMargin" can be edited to whatever size you prefer. After that you need to log out and then log in to show the changes.