DockWidget/docksplitter.cpp

   1 /***************************************************************************
   2                          DockSplitter part of KDEStudio
   3                              -------------------
   4     copyright            : (C) 1999 by Judin Max
   5     email                : novaprint@mtu-net.ru
   6  ***************************************************************************/
   7
   8 #include "docksplitter.h"
   9 #include "dockmanager.h"
  10 #include <qapplication.h>
  11
  12 DockSplitter::DockSplitter(QWidget *parent, const char *name, Orientation orient, Units units, int pos)
  13 : KNewPanner( parent, name, orient, units, pos )
  14 {
  15   o = orient;
  16 }
  17
  18 DockSplitter::~DockSplitter()
  19 {
  20 }
  21
  22 QWidget* DockSplitter::getAnother( QWidget* w )
  23 {
  24   return ( w == first ) ? last : first;
  25 }
  26
  27 void DockSplitter::activate( QWidget *c0, QWidget *c1 )
  28 {
  29   if ( c0 != 0L ) first = c0;
  30   if ( c1 != 0L ) last = c1;
  31
  32   updateName();
  33
  34   KNewPanner::activate( first, last );
  35   resizeEvent(0);
  36 }
  37
  38 void DockSplitter::setSeparatorPos( int pos )
  39 {
  40   KNewPanner::setSeparatorPos( pos );
  41   resizeEvent(0);
  42 }
  43
  44 void DockSplitter::updateName()
  45 {
  46   parentWidget()->setName( QString( first->name() ) + "," + last->name() );
  47   parentWidget()->repaint( false );
  48   ((DockWidget*)parentWidget())->firstName = first->name();
  49   ((DockWidget*)parentWidget())->lastName = last->name();
  50   if ( o == Vertical )
  51     ((DockWidget*)parentWidget())->splitterOrientation = 0;
  52   else
  53     ((DockWidget*)parentWidget())->splitterOrientation = 1;
  54
  55   QWidget* p = (DockSplitter*)parent()->parent();
  56   if ( p != 0L )
  57     if ( p->isA("DockSplitter") ) ((DockSplitter*)p)->updateName();
  58
  59 }
  60
  61
  62
  63
  64
  65
  66
  67
  68
  69
  70
  71
  72
  73
  74
  75
  76
  77
  78
  79
  80
  81
  82
  83
  84
  85