# HG changeset patch
# User Torsten <ttl@justmail.de>
# Date 1389127834 -3600
# Node ID 0eeab61e07d87cf5a6e294cf03efde60e3f28712
# Parent  af8a70d6885c77a06b8f30f9d00610fe4c9ce77c
smaller height of tabs in the document viewer

* webinfo.cc (constructor): smaller height of tabs and check for movable tabs

diff -r af8a70d6885c -r 0eeab61e07d8 libgui/src/qtinfo/webinfo.cc
--- a/libgui/src/qtinfo/webinfo.cc	Tue Jan 07 13:33:39 2014 -0500
+++ b/libgui/src/qtinfo/webinfo.cc	Tue Jan 07 21:50:34 2014 +0100
@@ -57,7 +57,10 @@
   _tab_bar->setSizePolicy (QSizePolicy::Preferred,QSizePolicy::Preferred);
   _tab_bar->setExpanding (false);
   _tab_bar->setTabsClosable (true);
+#ifdef HAVE_QTABWIDGET_SETMOVABLE
   _tab_bar->setMovable (true);
+#endif
+  _tab_bar->setStyleSheet ("QTabBar::tab {max-height: 4ex; }");
   hbox_layout->addWidget (_tab_bar);
 
   _zoom_in_button = new QToolButton (this);