diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-20 14:09:08 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-20 14:09:08 +0200 |
commit | df0e00463c5b55f89471720c1bf4d83e1f428aae (patch) | |
tree | 00f39e4c7d7308e5b1d65473a538c691181abefa /src/ui/util.c | |
parent | c998b25d4d428e860520bb8fa4fd5450c1b865fd (diff) |
Preferences: Added a Gemini proxy
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index bdb348f9..0f0fa039 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -1111,6 +1111,8 @@ iWidget *makePreferences_Widget(void) { | |||
1111 | } | 1111 | } |
1112 | /* Proxies. */ { | 1112 | /* Proxies. */ { |
1113 | appendTwoColumnPage_(tabs, "Proxies", '4', &headings, &values); | 1113 | appendTwoColumnPage_(tabs, "Proxies", '4', &headings, &values); |
1114 | addChild_Widget(headings, iClob(makeHeading_Widget("Gemini proxy:"))); | ||
1115 | setId_Widget(addChild_Widget(values, iClob(new_InputWidget(0))), "prefs.proxy.gemini"); | ||
1114 | addChild_Widget(headings, iClob(makeHeading_Widget("Gopher proxy:"))); | 1116 | addChild_Widget(headings, iClob(makeHeading_Widget("Gopher proxy:"))); |
1115 | setId_Widget(addChild_Widget(values, iClob(new_InputWidget(0))), "prefs.proxy.gopher"); | 1117 | setId_Widget(addChild_Widget(values, iClob(new_InputWidget(0))), "prefs.proxy.gopher"); |
1116 | addChild_Widget(headings, iClob(makeHeading_Widget("HTTP proxy:"))); | 1118 | addChild_Widget(headings, iClob(makeHeading_Widget("HTTP proxy:"))); |
@@ -1125,8 +1127,9 @@ iWidget *makePreferences_Widget(void) { | |||
1125 | arrange_Widget(dlg); | 1127 | arrange_Widget(dlg); |
1126 | /* Set input field sizes. */ { | 1128 | /* Set input field sizes. */ { |
1127 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.downloads")); | 1129 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.downloads")); |
1128 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.proxy.http")); | 1130 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.proxy.gemini")); |
1129 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.proxy.gopher")); | 1131 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.proxy.gopher")); |
1132 | expandInputFieldWidth_(findChild_Widget(tabs, "prefs.proxy.http")); | ||
1130 | } | 1133 | } |
1131 | iWidget *div = new_Widget(); { | 1134 | iWidget *div = new_Widget(); { |
1132 | setFlags_Widget(div, arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag, iTrue); | 1135 | setFlags_Widget(div, arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag, iTrue); |