diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-09-20 10:23:32 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-09-20 10:23:32 +0300 |
commit | b504d777ac8e134d7223372cb04468cf1895d3ae (patch) | |
tree | 268c2d0e818f34c1f68772f3e73fd41d6ede315e /src/ui/util.h | |
parent | 5f67d1c073d9a4f0b80f5fbd0b8dd851c5d3da8e (diff) |
Added tabs to make room for more preferences
The Preferences sheet now has tabs (General, Proxies) so that more options can fit there in the future.
Diffstat (limited to 'src/ui/util.h')
-rw-r--r-- | src/ui/util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/util.h b/src/ui/util.h index 5590d008..754310ad 100644 --- a/src/ui/util.h +++ b/src/ui/util.h | |||
@@ -136,6 +136,7 @@ iWidget * makeTabs_Widget (iWidget *parent); | |||
136 | void appendTabPage_Widget (iWidget *tabs, iWidget *page, const char *label, int key, int kmods); | 136 | void appendTabPage_Widget (iWidget *tabs, iWidget *page, const char *label, int key, int kmods); |
137 | void prependTabPage_Widget (iWidget *tabs, iWidget *page, const char *label, int key, int kmods); | 137 | void prependTabPage_Widget (iWidget *tabs, iWidget *page, const char *label, int key, int kmods); |
138 | iWidget * removeTabPage_Widget (iWidget *tabs, size_t index); /* returns the page */ | 138 | iWidget * removeTabPage_Widget (iWidget *tabs, size_t index); /* returns the page */ |
139 | void resizeToLargestPage_Widget (iWidget *tabs); | ||
139 | void showTabPage_Widget (iWidget *tabs, const iWidget *page); | 140 | void showTabPage_Widget (iWidget *tabs, const iWidget *page); |
140 | void setTabPageLabel_Widget (iWidget *tabs, const iAnyObject *page, const iString *label); | 141 | void setTabPageLabel_Widget (iWidget *tabs, const iAnyObject *page, const iString *label); |
141 | iWidget * tabPage_Widget (iWidget *tabs, size_t index); | 142 | iWidget * tabPage_Widget (iWidget *tabs, size_t index); |