diff options
| author | Dave Davenport <qball@gmpclient.org> | 2016-08-30 18:07:34 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2016-08-30 18:07:34 +0200 |
| commit | 5646adc34d3febfc15a3e7e609d0d689fa129200 (patch) | |
| tree | 35990f9e9d7f4aab2e2f42f6a23c466fb41483ae /doc/test_xr.txt | |
| parent | 0d9d4d6c55987d4de2163dc5d856d1668eb072fa (diff) | |
Add option to set padding within a line.
Fixes: #449
Diffstat (limited to 'doc/test_xr.txt')
| -rw-r--r-- | doc/test_xr.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/test_xr.txt b/doc/test_xr.txt index 2f5664e9..dc125dcd 100644 --- a/doc/test_xr.txt +++ b/doc/test_xr.txt @@ -72,6 +72,8 @@ rofi.tokenize: true rofi.m: -1 ! "Margin between rows" Set from: File rofi.line-margin: 3 +! "Padding within rows" Set from: Default +! rofi.line-padding: 1 ! "Pre-set filter" Set from: Default ! rofi.filter: ! "Separator style (none, dash, solid)" Set from: File |