diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-28 21:48:50 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-28 22:57:07 +0200 |
| commit | ed5a5d38cfd436c5893ccf1580012d3cbfbe0a70 (patch) | |
| tree | ddc0326b5d8a81560a980e38af1ab64980c472cb /gnu/installer | |
| parent | 113bc0817221e8db8152c817a3805c517eae31e3 (diff) | |
| download | patches-ed5a5d38cfd436c5893ccf1580012d3cbfbe0a70.tar patches-ed5a5d38cfd436c5893ccf1580012d3cbfbe0a70.tar.gz | |
installer: Improve layout of the partitioning page.
Previously the "listbox" would be unnecessarily high, leaving too little
space for the German translation of the text above.
* gnu/installer/newt/partition.scm (run-disk-page): Increase
#:info-textbox-width and pass #:listbox-height.
Diffstat (limited to 'gnu/installer')
| -rw-r--r-- | gnu/installer/newt/partition.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/installer/newt/partition.scm b/gnu/installer/newt/partition.scm index 8cce7da93b..2b22ac85b4 100644 --- a/gnu/installer/newt/partition.scm +++ b/gnu/installer/newt/partition.scm @@ -673,7 +673,8 @@ by pressing the Exit button.~%~%"))) #:title (if guided? (G_ "Guided partitioning") (G_ "Manual partitioning")) - #:info-textbox-width 70 + #:info-textbox-width 76 ;we need a lot of room for INFO-TEXT + #:listbox-height 12 #:listbox-items (disk-items) #:listbox-item->text cdr #:sort-listbox-items? #f |