From f0f51827e1d6bd0c61f53942209bc676cb95214b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaakko=20Ker=C3=A4nen?= jaakko.keranen@iki.fi
Date: Sat, 26 Sep 2020 17:03:44 +0300
Subject: [PATCH 1/1] Cleanup
res/about/version.gmi | 6 +++---
src/ui/util.c | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/res/about/version.gmi b/res/about/version.gmi
index bad1fbbf..f82649ca 100644
--- a/res/about/version.gmi
+++ b/res/about/version.gmi
@@ -7,13 +7,13 @@
-* Added several page appearance customization settings.
-* Added tabs in Preferences for better grouping.
+* Added style customization.
-* Added an option for site icon and current top heading to appear on the left when the window is wide enough.
+* Added an option for site icon and current top heading that appear when the window is wide enough.
+* Added tabs in Preferences for better grouping.
diff --git a/src/ui/util.c b/src/ui/util.c
index e106bfff..13a7a7a2 100644
--- a/src/ui/util.c
+++ b/src/ui/util.c
@@ -920,7 +920,7 @@ iWidget *makePreferences_Widget(void) {
setId_Widget(addChild_Widget(values, iClob(new_InputWidget(8))), "prefs.uiscale");
}
/* Layout. */ {
appendTwoColumnPage_(tabs, "Layout", '2', &headings, &values);
appendTwoColumnPage_(tabs, "Style", '2', &headings, &values);
addChild_Widget(headings, iClob(makeHeading_Widget("Font:")));
iWidget *fonts = new_Widget();
/* Fonts. */ {
--
2.25.1
text/plain
This content has been proxied by September (3851b).