Tab button labels fitted to available space

1 files changed, 1 insertions, 0 deletions

diff --git a/src/ui/util.h b/src/ui/util.h
index 6eeea11d..6e210422 100644
--- a/src/ui/util.h
+++ b/src/ui/util.h
@@ -98,6 +98,7 @@ iWidget *   makeTabs_Widget         (iWidget *parent);
 void        appendTabPage_Widget    (iWidget *tabs, iWidget *page, const char *label, int key, int kmods);
 void        prependTabPage_Widget   (iWidget *tabs, iWidget *page, const char *label, int key, int kmods);
 iWidget *   tabPage_Widget          (iWidget *tabs, size_t index);
+iLabelWidget *tabPageButton_Widget  (iWidget *tabs, const iAnyObject *page);
 iWidget *   removeTabPage_Widget    (iWidget *tabs, size_t index); /* returns the page */
 void        showTabPage_Widget      (iWidget *tabs, const iWidget *page);
 void        setTabPageLabel_Widget  (iWidget *tabs, const iAnyObject *page, const iString *label);