Preferences: Added setting for line spacing

IssueID #229

1 files changed, 1 insertions, 0 deletions

diff --git a/src/ui/util.c b/src/ui/util.c
index 5aea4f11..d68274ad 100644
--- a/src/ui/util.c
+++ b/src/ui/util.c
@@ -1809,6 +1809,7 @@ iWidget *makePreferences_Widget(void) {
             addRadioButton_(widths, "prefs.linewidth.1000", "${prefs.linewidth.fill}", "linewidth.set arg:1000");
         }
         addChildFlags_Widget(values, iClob(widths), arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag);
+        addPrefsInputWithHeading_(headings, values, "prefs.linespacing", iClob(new_InputWidget(5)));
         addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.quoteicon}")));
         iWidget *quote = new_Widget(); {
             addRadioButton_(quote, "prefs.quoteicon.1", "${prefs.quoteicon.icon}", "quoteicon.set arg:1");