19 #ifndef OST_GUI_THIN_SPLITTER_HH
20 #define OST_GUI_THIN_SPLITTER_HH
28 class QSplitterHandle;
30 namespace ost {
namespace gui {
35 ThinSplitter(Qt::Orientation orientation, QWidget* parent=0);
ThinSplitter(Qt::Orientation orientation, QWidget *parent=0)
splitter with 1 pixel wide handles.
QSplitterHandle * createHandle()