diff options
| author | Jin Liu <[email protected]> | 2022-05-26 08:31:12 +0000 |
|---|---|---|
| committer | Felix Ernst <[email protected]> | 2022-05-26 08:31:12 +0000 |
| commit | ca0d0bb322925e2119f13f76d8e9643d24cbf3e0 (patch) | |
| tree | 038c9c47458967b04abd7af4f6db2da428ce73a3 /doc/index.docbook | |
| parent | ff0a4938a5076f2cf84503f65747cfbdb0656c0e (diff) | |
Change wording "Leading Column Padding" to "Side Padding"
Since it actually adds padding on both left and right sides,
"Side Padding" might be more accurate.
This change is also propagated to variable and method names.
BUG: 453172
Diffstat (limited to 'doc/index.docbook')
| -rw-r--r-- | doc/index.docbook | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/index.docbook b/doc/index.docbook index a3fc94aac..101c4a25c 100644 --- a/doc/index.docbook +++ b/doc/index.docbook @@ -349,8 +349,8 @@ as a detailed list which contains the name, size and last modification time of each item. Additional columns can be added by clicking a column header with the &RMB;. </para> -<para>In the context menu of the header line, you can add or remove the padding from the -leading column by checking or unchecking the respective menu item and choose between a custom +<para>In the context menu of the header line, you can add or remove side padding +by checking or unchecking the respective menu item and choose between a custom or automatic column width. Automatic width adjusts the width of all columns once to display the longest item in the column completely, except for the <guilabel>Name</guilabel> column where the extension is replaced by <quote>...</quote> |