diff options
| -rw-r--r-- | src/uicmd.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/uicmd.cc b/src/uicmd.cc index e9774c77..e17b47d6 100644 --- a/src/uicmd.cc +++ b/src/uicmd.cc @@ -93,8 +93,13 @@ public: //fltk::setfont(fltk::getfont()->bold(), fltk::getsize()); r.h(r.h()-2); drawtext("X", r, ALIGN_CENTER); + return false; + } else { + // By returning true we avoid a call to TabGroup::draw_tab() + // in TabGroup::draw() in case we don't show the tabs. + // This is a workaround for http://fltk.org/str.php?L2062 + return true; } - return false; } void btn_highlight(bool flag) { |