Preferences: Added setting for line spacing

IssueID #229

2 files changed, 8 insertions, 4 deletions

diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c
index 5bded6c6..38f34c77 100644
--- a/src/ui/documentwidget.c
+++ b/src/ui/documentwidget.c
@@ -1298,9 +1298,9 @@ static void postProcessRequestContent_DocumentWidget_(iDocumentWidget *d, iBool
                     2);
             }
             if (preloadCoverImage_Gempub(d->sourceGempub, d->doc)) {
-            redoLayout_GmDocument(d->doc);
-            updateVisible_DocumentWidget_(d);
-            invalidate_DocumentWidget_(d);
+                redoLayout_GmDocument(d->doc);
+                updateVisible_DocumentWidget_(d);
+                invalidate_DocumentWidget_(d);
             }
         }
         else if (equal_String(d->mod.url, indexPageUrl_Gempub(d->sourceGempub))) {
@@ -2461,7 +2461,10 @@ static iBool handleCommand_DocumentWidget_(iDocumentWidget *d, const char *cmd)
         invalidate_DocumentWidget_(d);
         refresh_Widget(w);
     }
-    else if (equal_Command(cmd, "document.layout.changed") && document_App() == d) {
+    else if (equal_Command(cmd, "document.layout.changed") && document_Root(get_Root()) == d) {
+        if (argLabel_Command(cmd, "redo")) {
+            redoLayout_GmDocument(d->doc);
+        }
         updateSize_DocumentWidget(d);
     }
     else if (equal_Command(cmd, "pinsplit.set")) {
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");