Blob Blame Raw


// TnzQt includes
#include "toonzqt/menubarcommand.h"
#include "docklayout.h"

// Qt includes
#include <QEvent>
#include <QMouseEvent>
#include <QApplication>
#include <QDesktopWidget>

// STD includes
#include <assert.h>
#include <math.h>
#include <algorithm>

//========================================================

//-----------------------
//    Dock Lock Check
//-----------------------

DockingCheck *DockingCheck::instance()
{
	static DockingCheck _instance;
	return &_instance;
}

//-------------------------------------

void DockingCheck::setToggle(QAction *toggle)
{
	m_toggle = toggle;
}

//-------------------------------------

void DockingCheck::setIsEnabled(bool on)
{
	m_enabled = on;
	if (m_toggle)
		m_toggle->setChecked(on);
}

//========================================================

class DockingToggleCommand : public MenuItemHandler
{
public:
	DockingToggleCommand() : MenuItemHandler("MI_DockingCheck") {}

	void execute()
	{
		DockingCheck *dc = DockingCheck::instance();
		dc->setIsEnabled(!dc->isEnabled());
	}

} dockingToggleCommand;

//========================================================

//------------------------
//    Geometry inlines
//------------------------

//!Calculates infinite-norm distance between points \b a and \b b.
inline int absoluteDistance(const QPoint &a, const QPoint &b)
{
	return std::max(abs(a.x() - b.x()), abs(a.y() - b.y()));
}

//-------------------------------------

//Il metodo QRectF::toRect pare che faccia la cosa commentata. Ovviamente non e' la cosa piu' simpatica - considera
//che in questo modo i bordi del rect di input *non vengono approssimati alle piu' vicine coordinate intere*!
//  es:   topLeft= (1/3, 1/3); width= 4/3, height= 4/3 => left= top= right= bottom= 0.
inline QRect toRect(const QRectF &rect)
{
	//return QRect(qRound(rect.left()), qRound(rect.top()), qRound(rect.width()), qRound(rect.height()));
	return QRect(rect.topLeft().toPoint(), rect.bottomRight().toPoint() -= QPoint(1, 1));
}

//========================================================

//Forward declaration
namespace
{
QDesktopWidget *desktop;
void getClosestAvailableMousePosition(QPoint &globalPos);
}

//========================================================

//----------------------
//    Layout inlines
//----------------------

inline void DockLayout::update()
{
	//E' necessario?
	applyGeometry();
}

//========================================================

//------------------------------
//    My Dock Widget Methods
//------------------------------

//!Constructs a dock Widget; every newly constructed dock widget is floating (i.e. not docked
//!into the layout).
DockWidget::DockWidget(QWidget *parent, Qt::WindowFlags flags)
	: QWidget(parent, flags), m_dragging(false), m_resizing(false), m_floating(true), m_undocking(false),
	  m_parentLayout(0), m_selectedPlace(0), m_maximized(0)
{
	//Don't let this widget inherit the parent's backround color
	//setAutoFillBackground(true);
	//setBackgroundRole(QPalette::Background);

	//setAttribute(Qt::WA_DeleteOnClose);   //Since Toonz just hides panels...
	setAttribute(Qt::WA_Hover);

	//Set default minimum and maximum sizes.
	setMinimumSize(QSize(50, 50));
	setMaximumSize(QSize(10000, 10000));

	m_decoAllocator = new DockDecoAllocator;

	//Make sure the desktop is initialized and known
	desktop = qApp->desktop();
}

//-------------------------------------

DockWidget::~DockWidget()
{
	//Since close button lies on the title bar, make sure mouse is released if that is pressed.
	if (QWidget::mouseGrabber() == this)
		releaseMouse();
	clearDockPlaceholders();

	//Delete deco allocator
	delete m_decoAllocator;
}

//-------------------------------------

//!Clears dock placeholders for this dockwidget. This is automatically called at drag ends.
void DockWidget::clearDockPlaceholders()
{
	unsigned int i;
	for (i = 0; i < m_placeholders.size(); ++i)
		delete m_placeholders[i];
	m_placeholders.clear();
}

//-------------------------------------

//!Shows dock widget in docked mode.

//!Returns true or false whether input \b QPoint is inside the dragging grip for \b this DockWidget, or not.
//!Typically (and by default), true is returned whenever p lies inside the widget's title bar when floating;
//!however, you are free to place the drag grip anywhere reimplementing this method in custom dockwidgets.
bool DockWidget::isDragGrip(QPoint p)
{
	if (isFloating()) {
		QRect frame = frameGeometry();
		QRect conts = geometry();
		int margin = conts.left() - frame.left();
		int titleBarHeight = conts.top() - frame.top();

		QRect titleArea(QPoint(0, margin - titleBarHeight), QPoint(width() - 1, -1));

		return titleArea.contains(p);
	}

	return 0;
}

//-------------------------------------

bool DockWidget::event(QEvent *e)
{
	//qDebug("Dock Widget - Event type: %d", e->type());

	//Little deviation or type specifications for received events
	switch (e->type()) {
	//Dock widgets are hover widgets - since their cursor may change on resize grips.
	case QEvent::HoverMove:
		hoverMoveEvent(static_cast<QHoverEvent *>(e));
		return true;

	//Native titlebar press events must be redirected to common ones
	// - and, in this case mouse has to grabbed
	case QEvent::NonClientAreaMouseButtonPress:
		//grabMouse();  //Cannot not go here or resizes cannot be natively handled
		mousePressEvent(static_cast<QMouseEvent *>(e));
		return true;

	//Titlebars are not natively handled in this raw class - their responsibility falls
	//to user implementation of DockWidget class
	case QEvent::WindowTitleChange:
		windowTitleEvent(e);
		return true;

	default:
		return QWidget::event(e);
	}
}

//-------------------------------------

//!Adjusts widget cursor depending on \b isResizeGrip()
//NOTA: Da migliorare: ricordare il cursor settato o se era unset e riapplicare
//quando fuori dal resize grip.
void DockWidget::hoverMoveEvent(QHoverEvent *he)
{
	if (m_floating && !m_resizing && !m_undocking) {
		QCursor newCursor = Qt::ArrowCursor;

		if (m_marginType = isResizeGrip(he->pos())) {
			//Hovering a margin - update cursor shape
			if (m_marginType & leftMargin) {
				if (m_marginType & topMargin)
					newCursor = Qt::SizeFDiagCursor;
				else if (m_marginType & bottomMargin)
					newCursor = Qt::SizeBDiagCursor;
				else
					newCursor = Qt::SizeHorCursor;
			} else if (m_marginType & rightMargin) {
				if (m_marginType & topMargin)
					newCursor = Qt::SizeBDiagCursor;
				else if (m_marginType & bottomMargin)
					newCursor = Qt::SizeFDiagCursor;
				else
					newCursor = Qt::SizeHorCursor;
			} else
				newCursor = Qt::SizeVerCursor;
		}

		if (newCursor.shape() != cursor().shape())
			setCursor(newCursor);
	}
}

//-------------------------------------

//!Dispatches mouse presses for particular purposes...

//!a)  Trigger a window resize (or none with native deco)
//!    if press is over a resize grip

//!b)  Trigger a window drag if press is over a drag grip
void DockWidget::mousePressEvent(QMouseEvent *me)
{
	if (m_marginType = m_floating ? isResizeGrip(me->pos()) : 0) {
		//Resize begins

		//NOTE: It is better to assume that resize grips dominate over drag grips: this ensures
		//that mouse cursor changes are always consistent with resize events.

		m_resizing = true;
		m_dragMouseInitialPos = me->globalPos(); //Re-used as old position
	} else if (isDragGrip(me->pos())) {
		//Dragging begins
		DockingCheck *lock = DockingCheck::instance(); //Docking system lock

		m_dragMouseInitialPos = me->globalPos();
		m_dragInitialPos = pos();
		//Grab mouse inputs - useful if widget gets under placeholders
		if (me->type() == QEvent::NonClientAreaMouseButtonPress)
			//If can receive double-clicks, avoid grabbing mouse
			grabMouse();

		if (m_floating) {
			m_dragging = true;
			//Do not allow docking if there is a maximized widget or the layout is locked
			if (m_parentLayout && !m_parentLayout->getMaximized() && !lock->isEnabled())
				m_parentLayout->calculateDockPlaceholders(this);
		} else {
			if (!lock->isEnabled())
				m_undocking = true;
			m_dragInitialPos = parentWidget()->mapToGlobal(m_dragInitialPos);
		}
	}
}

//-------------------------------------

void DockWidget::mouseMoveEvent(QMouseEvent *me)
{
	QPoint correctedGlobalPos(me->globalPos());
	getClosestAvailableMousePosition(correctedGlobalPos);

	if (m_resizing) {
		//m_dragMouseInitialPos re-used as old position
		int dx = correctedGlobalPos.x() - m_dragMouseInitialPos.x();
		int dy = correctedGlobalPos.y() - m_dragMouseInitialPos.y();

		QRect geom = geometry();

		if (m_marginType & leftMargin) {
			int newWidth = geom.width() - dx;
			if (newWidth >= minimumWidth() && newWidth <= maximumWidth())
				geom.setLeft(geom.left() + dx);
		} else if (m_marginType & rightMargin)
			geom.setRight(geom.right() + dx);

		if (m_marginType & topMargin) {
			int newHeight = geom.height() - dy;
			if (newHeight >= minimumHeight() && newHeight <= maximumHeight())
				geom.setTop(geom.top() + dy);
		} else if (m_marginType & bottomMargin)
			geom.setBottom(geom.bottom() + dy);

		setGeometry(geom);

		m_dragMouseInitialPos = correctedGlobalPos;
	} else if (m_dragging) {
		move(m_dragInitialPos + correctedGlobalPos - m_dragMouseInitialPos);
		selectDockPlaceholder(me);
	} else if (m_undocking) {
		int distance = absoluteDistance(me->globalPos(), m_dragMouseInitialPos);
		if (distance > 8) {
			m_undocking = false;

			//Attempt undocking
			if (m_parentLayout->undockItem(this)) {
				m_dragging = true;

				//Then, move dock widget under cursor, as if drag actually begun at button press.
				move(m_dragInitialPos + correctedGlobalPos - m_dragMouseInitialPos);
				show(); //Dock widget is not automatically shown after undock.

				//Re-grab mouse inputs. Seems that making the window float (i.e.: reparenting) breaks old grab.
				//NOTE: mouse *must* be grabbed only when visible - see Qt manual.
				grabMouse();

				//After undocking takes place, docking possibilities have to be recalculated
				m_parentLayout->calculateDockPlaceholders(this);
				selectDockPlaceholder(me);
			}
		}
	}
}

//-------------------------------------

void DockWidget::mouseReleaseEvent(QMouseEvent *me)
{
	//Ensure mouse is released
	releaseMouse();

	if (m_dragging) {
		m_dragging = false;

		if (m_floating && m_selectedPlace) {
			m_parentLayout->dockItem(this, m_selectedPlace);
		} else {
			//qDebug("Dock failed");
		}

		//Clear dock placeholders
		clearDockPlaceholders();
		m_selectedPlace = 0;
	} else if (m_undocking) {
		//qDebug("Undock failed");
		m_undocking = false;
	} else if (m_resizing) {
		m_resizing = false;
	}
}

//-------------------------------------

//!DockWidgets respond to title bar double clicks maximizing the widget in
//!layout's contents rect.
void DockWidget::mouseDoubleClickEvent(QMouseEvent *me)
{
	if (!m_floating && isDragGrip(me->pos())) {
		parentLayout()->setMaximized(this, !m_maximized);
	}
}

//-------------------------------------

//!Switch in selected dock placeholder's hierarchy.
void DockWidget::wheelEvent(QWheelEvent *we)
{
	if (m_dragging) {
		if (m_selectedPlace) {
			DockPlaceholder *newSelected = (we->delta() > 0) ? m_selectedPlace->parentPlaceholder() : m_selectedPlace->childPlaceholder(parentWidget()->mapFromGlobal(we->globalPos()));

			if (newSelected != m_selectedPlace) {
				m_selectedPlace->hide();
				newSelected->show();
				m_selectedPlace = newSelected;
			}
		}
	}
}

//-------------------------------------

//!Returns widget (separator or docked widget) containing input \point, or 0 if none.
//!Convenience function combining parentLayout() and containerOf(\b point).

//!\b NOTE: Observe that, in any case, the use of QEnterEvents is discouraged for this purpose:
//!remember that we forcedly remain within its boundaries when dragging a dock widget;
//!instead, we are rather interested about entering the dock widgets *below*.
QWidget *DockWidget::hoveredWidget(QMouseEvent *me)
{
	if (!m_parentLayout)
		return 0;

	QPoint point = parentWidget()->mapFromGlobal(me->globalPos());
	return m_parentLayout->containerOf(point);
}

//-------------------------------------

//!Returns adjacent placeholders to hovered widget. If hovered is a separator,
//!just return associated placeholder.
DockPlaceholder *DockWidget::placeAdjacentTo(DockWidget *dockWidget, int boundary)
{
	Region *r = parentLayout()->find(dockWidget);

	if (((boundary == DockPlaceholder::left || boundary == DockPlaceholder::right) && r->getOrientation() == Region::horizontal) || ((boundary == DockPlaceholder::top || boundary == DockPlaceholder::bottom) && r->getOrientation() == Region::vertical)) {
		//Placeholder is coherent with region orientation
		return r->placeholders().size() ? r->placeholder(boundary % 2) : 0;
	} else {
		//Search in parent region
		Region *parent = r->getParent();
		if (parent) {
			unsigned int i = parent->find(r);
			return parent->placeholders().size() ? parent->placeholder(i + (boundary % 2)) : 0;
		} else {
			//No parent region - dockWidget is the only widget of the whole layout;
			//Then check the first 2 elements of placeholders vector.
			if (!m_placeholders[boundary % 2]->getParentRegion()) {
				return m_placeholders.size() ? m_placeholders[boundary % 2] : 0;
			}
		}
	}

	return 0;
}

//-------------------------------------

//!Returns placeholder associated with input separator.
DockPlaceholder *DockWidget::placeOfSeparator(DockSeparator *sep)
{
	Region *r = sep->getParentRegion();
	int idx = sep->getIndex();

	return r->placeholders().size() ? r->placeholder(idx + 1) : 0;
}

//-------------------------------------

//!Processes an input mouse event to select the active placeholder among the possible ones
//!for \b this dock widget. The selected placeholder is also evidenced with respect to the
//!other (or these are kept hidden) according to the body of this function.
void DockWidget::selectDockPlaceholder(QMouseEvent *me)
{
	//const int inf= 1000000;
	DockPlaceholder *selected = 0;

	//Search placeholders cotaining muose position
	unsigned int i;
	for (i = 0; i < m_placeholders.size(); ++i) {
		if (m_placeholders[i]->geometry().contains(me->globalPos())) {
			selected = m_placeholders[i];
		}
	}

	//In order to avoid flickering
	if (m_selectedPlace != selected) {
		if (m_selectedPlace)
			m_selectedPlace->hide();
		if (selected)
			selected->show();
	}

	m_selectedPlace = selected;
}

//========================================================

//-------------------------
//    Dock Placeholders
//-------------------------

inline QRect DockPlaceholder::parentGeometry() const
{
	return m_region ? toRect(m_region->getGeometry()) : m_owner->parentLayout()->contentsRect();
}

//------------------------------------------------------

//!Assigns the geometry of \b this placeholder.

//!Once a placeholder is created, in response to a user window drag,
//!dock placeholders are calculated. After a placeholder is created,
//!its geometry is built according to this function. It is possible to
//!reimplement it in order to build custom placeholder styles.
inline void DockPlaceholder::buildGeometry()
{
	QRect relativeToMainRect;

	if (m_separator)
		relativeToMainRect = m_separator->geometry();
	else {
		QRect parentRect = parentGeometry();
		DockLayout *layout = m_owner->parentLayout();
		QRect mainRect = layout->contentsRect();
		int sepWidth = layout->spacing();
		int margin = 6; //layout->margin();   //Purtroppo questa info e' assegnata prima delle Room...

		if (isRoot()) {
			//Set the whole contents rect
			relativeToMainRect = parentRect;

			//Set a square at middle of parent geometry
			//QPoint center= parentRect.center();
			//relativeToMainRect= QRect(center - QPoint(50,50), center + QPoint(50,50));
		} else if (getParentRegion() == 0 || getParentRegion() == layout->rootRegion()) {
			//Outer insertion case
			switch (getAttribute()) {
				int leftBound, upperBound;

			case left:
				leftBound = parentRect.left() - margin;
				relativeToMainRect = QRect(leftBound, parentRect.top(), margin, parentRect.height());
				break;
			case right:
				leftBound = parentRect.right() + 1;
				relativeToMainRect = QRect(leftBound, parentRect.top(), margin, parentRect.height());
				break;
			case top:
				upperBound = parentRect.top() - margin;
				relativeToMainRect = QRect(parentRect.left(), upperBound, parentRect.width(), margin);
				break;
			default:
				upperBound = parentRect.bottom() + 1;
				relativeToMainRect = QRect(parentRect.left(), upperBound, parentRect.width(), margin);
				break;
			}
		} else
			switch (getAttribute()) {
				int leftBound, upperBound;

			case left:
				leftBound = parentRect.left();
				relativeToMainRect = QRect(leftBound, parentRect.top(), sepWidth, parentRect.height());
				break;
			case right:
				leftBound = parentRect.right() - sepWidth + 1;
				relativeToMainRect = QRect(leftBound, parentRect.top(), sepWidth, parentRect.height());
				break;
			case top:
				upperBound = parentRect.top();
				relativeToMainRect = QRect(parentRect.left(), upperBound, parentRect.width(), sepWidth);
				break;
			default:
				upperBound = parentRect.bottom() - sepWidth + 1;
				relativeToMainRect = QRect(parentRect.left(), upperBound, parentRect.width(), sepWidth);
				break;
			}
	}

	QPoint topLeft = m_owner->parentWidget()->mapToGlobal(relativeToMainRect.topLeft());
	QPoint bottomRight = m_owner->parentWidget()->mapToGlobal(relativeToMainRect.bottomRight());
	setGeometry(QRect(topLeft, bottomRight));
}

//------------------------------------------------------

DockPlaceholder::DockPlaceholder(DockWidget *owner, Region *r, int idx, int attributes)
	: QWidget(owner), m_owner(owner), m_separator(0),
	  m_region(r), m_idx(idx), m_attributes(attributes)
{
	setWindowFlags(Qt::Tool | Qt::WindowStaysOnTopHint | Qt::FramelessWindowHint);

	//Set separators
	if (r && idx && idx < (int)r->getChildList().size()) {
		m_separator = r->separators()[idx - 1];
	}
}

//------------------------------------------------------

inline DockSeparator *DockPlaceholder::getSeparator() const
{
	return m_separator;
}

//------------------------------------------------------

//!Find the 'parent' of this placeholder (same side/orientation, on grandParent region)

//!NOTE: If no grandParent exists \b this is the root, which is then returned.
DockPlaceholder *DockPlaceholder::parentPlaceholder()
{
	//Placeholders covering a whole separator or roots have no parent (return itself)
	if (m_attributes == sepHor || m_attributes == sepVert || isRoot())
		return this;

	//Now, check if owner Region has a parent.
	Region *grandParent;
	if (!m_region || !m_region->getParent())
		return this;

	if (grandParent = m_region->getParent()->getParent()) {
		//Good, we finally have to search in grandParent's region our direct parent.
		unsigned int idx = grandParent->find(m_region->getParent());

		//Since placeholders are built ordered, just use the found idx.
		if (m_attributes == left || m_attributes == top)
			return grandParent->placeholders().size() ? grandParent->placeholder(idx) : this;
		else
			return grandParent->placeholders().size() ? grandParent->placeholder(idx + 1) : this;
	} else {
		//GrandParent would be a new root. Then, take the first two possible placeholders
		//of the entire dockWidget.
		if (m_owner->m_placeholders.size()) {
			DockPlaceholder *result = m_owner->m_placeholders[m_attributes % 2];
			if (!result->m_region)
				return result;
		}

		return this;
	}
}

//------------------------------------------------------

//!The opposite of parentPlaceholder() - but a point belonging to the child
//!region to be selected is requested as univoque key among all children.
DockPlaceholder *DockPlaceholder::childPlaceholder(QPoint p)
{
	//Ensure this is not a root placeholder
	if (m_attributes == root)
		return this;

	//Define children list and ensure it is not void.
	Region *r;
	unsigned int i;
	bool lastExtremity;

	if (m_region) {
		if (!m_region->getChildList().size())
			return this;

		//Search the subregion containing p
		for (i = 0; i < m_region->getChildList().size(); ++i)
			if (m_region->childRegion(i)->getGeometry().contains(p))
				break;

		if (i == m_region->getChildList().size())
			return this; //No subregion found...

		lastExtremity = (m_idx > (int)i);

		//Ensure it has subRegions.
		r = m_region->childRegion(i);
		if (!r->getChildList().size())
			return this;
	} else {
		r = m_owner->parentLayout()->rootRegion();
		lastExtremity = m_attributes % 2;
	}

	//Now, take the 'grandson' region as above.
	for (i = 0; i < r->getChildList().size(); ++i)
		if (r->childRegion(i)->getGeometry().contains(p))
			break;

	if (i == r->getChildList().size())
		return this; //No subregion found...

	r = r->childRegion(i);

	//Finally, return child placeholder found.
	return r->placeholders().size() ? lastExtremity ? r->placeholders().back() : r->placeholders().front() : this;
}

//------------------------------------------------------

//!Returns greatest placeholder which contains this one.
inline DockPlaceholder *DockPlaceholder::greatestPlaceholder()
{
	DockPlaceholder *old = this, *current = parentPlaceholder();

	while (current != old) {
		old = current;
		current = old->parentPlaceholder();
	}

	return current;
}

//------------------------------------------------------

//!Returns smallest placeholder contained by this one - a point belonging to the child
//!region to be selected is requested as univoque key among all children.
inline DockPlaceholder *DockPlaceholder::smallestPlaceholder(QPoint p)
{
	DockPlaceholder *old = this, *current = childPlaceholder(p);

	while (current != old) {
		old = current;
		current = old->childPlaceholder(p);
	}

	return current;
}

//========================================================================

//------------------
//    Separators
//------------------

DockSeparator::DockSeparator(DockLayout *owner, bool orientation, Region *parentRegion)
	: QWidget(owner->parentWidget()), m_owner(owner), m_orientation(orientation),
	  m_parentRegion(parentRegion), m_pressed(false)
{
	setObjectName("DockSeparator");
	setWindowFlags(Qt::SubWindow);
	setAutoFillBackground(false);

	//Set appropriate widget cursor
	if (m_orientation == Region::horizontal)
		setCursor(Qt::SplitHCursor);
	else
		setCursor(Qt::SplitVCursor);

	show();
}

//-------------------------------------

void DockSeparator::mousePressEvent(QMouseEvent *me)
{
	m_pressed = true;

	m_oldPos = me->globalPos();

	const std::deque<DockSeparator *> &sepList = m_parentRegion->separators();
	const std::deque<Region *> &childList = m_parentRegion->getChildList();

	//Find separated Regions (separator index)
	unsigned int i;

	for (i = 0; i < sepList.size(); ++i)
		if (sepList[i] == this)
			break;

	//Calculate bounds for separator shift
	//First ensure extremal sizes are recalculated
	m_parentRegion->calculateExtremalSizes();

	int sepWidth = m_owner->spacing();
	Region *r = getParentRegion();
	double parentLeft, parentRight;
	int leftSepCount = m_index;
	int rightSepCount = r->separators().size() - leftSepCount; //This sep included

	if (m_orientation == Region::horizontal) {
		parentLeft = r->getGeometry().left();
		parentRight = r->getGeometry().right();
	} else {
		parentLeft = r->getGeometry().top();
		parentRight = r->getGeometry().bottom();
	}

	//Calculate left and right extremal sizes
	int j, leftMinSize = 0, rightMinSize = 0, leftMaxSize = 0, rightMaxSize = 0;

	for (j = 0; j <= m_index; ++j) {
		leftMinSize += r->childRegion(j)->getMinimumSize(m_orientation);
		leftMaxSize += r->childRegion(j)->getMaximumSize(m_orientation);
	}

	int size = r->getChildList().size();
	for (j = m_index + 1; j < size; ++j) {
		rightMinSize += r->childRegion(j)->getMinimumSize(m_orientation);
		rightMaxSize += r->childRegion(j)->getMaximumSize(m_orientation);
	}

	//Sull'intera regione padre
	m_leftBound = std::max(parentLeft + leftMinSize + leftSepCount * sepWidth,
						   parentRight - rightMaxSize - rightSepCount * sepWidth);

	m_rightBound = std::min(parentLeft + leftMaxSize + leftSepCount * sepWidth,
							parentRight - rightMinSize - rightSepCount * sepWidth);
}

//-------------------------------------

inline void DockSeparator::mouseReleaseEvent(QMouseEvent *me)
{
	m_pressed = false;
}

//-------------------------------------

void DockSeparator::mouseMoveEvent(QMouseEvent *me)
{
	if (m_pressed) {
		double movedPosition, newPosition;

		if (m_orientation == Region::horizontal) {
			double dx = me->globalX() - m_oldPos.x();
			movedPosition = getParentRegion()->childRegion(m_index)->getGeometry().right() + dx;
			newPosition = std::min(std::max(movedPosition, m_leftBound), m_rightBound);
			dx += newPosition - movedPosition;

			if (dx) {
				Region *r;
				QRectF newGeometry;
				double newWidth, dxTemp = dx;
				int i;

				//Propagate dx in left-adjacent regions
				for (i = m_index; dx != 0 && i >= 0; --i) {
					r = getParentRegion()->childRegion(i);
					newGeometry = r->getGeometry();

					//Right margin is shifted by dx
					newGeometry.adjust(0, 0, dx, 0);
					newWidth = newGeometry.width();
					//New width absorbs part of dx according to constraints
					newWidth = std::min(std::max(newWidth,
												 (double)r->getMinimumSize(Region::horizontal)),
										(double)r->getMaximumSize(Region::horizontal));
					newGeometry.adjust(dx = newGeometry.width() - newWidth, 0, 0, 0);
					r->setGeometry(newGeometry);
					r->redistribute();
				}

				dx = dxTemp;
				int size = getParentRegion()->getChildList().size();
				//Propagate dx in right-adjacent regions
				for (i = m_index + 1; dx != 0 && i < size; ++i) {
					r = getParentRegion()->childRegion(i);
					newGeometry = r->getGeometry();

					newGeometry.adjust(dx, 0, 0, 0);
					newWidth = newGeometry.width();
					newWidth = std::min(std::max(newWidth,
												 (double)r->getMinimumSize(Region::horizontal)),
										(double)r->getMaximumSize(Region::horizontal));
					newGeometry.adjust(0, 0, dx = newWidth - newGeometry.width(), 0);
					r->setGeometry(newGeometry);
					r->redistribute();
				}

				m_owner->update();
			}
		} else {
			double dy = me->globalY() - m_oldPos.y();
			movedPosition = getParentRegion()->childRegion(m_index)->getGeometry().bottom() + dy;
			newPosition = std::min(std::max(movedPosition, m_leftBound), m_rightBound);
			dy += newPosition - movedPosition;

			if (dy) {
				Region *r;
				QRectF newGeometry;
				double newHeight, dyTemp = dy;
				int i;

				for (i = m_index; dy != 0 && i >= 0; --i) {
					r = getParentRegion()->childRegion(i);
					newGeometry = r->getGeometry();
					QRectF oldGeometry = newGeometry;

					newGeometry.adjust(0, 0, 0, dy);
					newHeight = newGeometry.height();
					newHeight = std::min(std::max(newHeight,
												  (double)r->getMinimumSize(Region::vertical)),
										 (double)r->getMaximumSize(Region::vertical));
					newGeometry.adjust(0, dy = newGeometry.height() - newHeight, 0, 0);
					r->setGeometry(newGeometry);
					r->redistribute();
				}

				dy = dyTemp;
				int size = getParentRegion()->getChildList().size();
				for (i = m_index + 1; dy != 0 && i < size; ++i) {
					r = getParentRegion()->childRegion(i);
					newGeometry = r->getGeometry();

					newGeometry.adjust(0, dy, 0, 0);
					newHeight = newGeometry.height();
					newHeight = std::min(std::max(newHeight,
												  (double)r->getMinimumSize(Region::vertical)),
										 (double)r->getMaximumSize(Region::vertical));
					newGeometry.adjust(0, 0, 0, dy = newHeight - newGeometry.height());
					r->setGeometry(newGeometry);
					r->redistribute();
				}

				m_owner->update();
			}
		}

		m_oldPos = QPoint(me->globalX(), me->globalY());
	}
}

//========================================================

//----------------------------------
//    Available geometries code
//----------------------------------

namespace
{

//-------------------------------------

//Finds the closest mouse point belonging to some available geometry.
void getClosestAvailableMousePosition(QPoint &globalPos)
{
	//Search the screen rect containing the mouse position
	int i, screens = desktop->numScreens();
	for (i = 0; i < screens; ++i)
		if (desktop->screenGeometry(i).contains(globalPos))
			break;

	//Find the closest point to the corresponding available region
	QRect rect(desktop->availableGeometry(i));
	if (rect.contains(globalPos))
		return;

	//Return the closest point to the available geometry
	QPoint result;
	if (globalPos.x() < rect.left())
		globalPos.setX(rect.left());
	else if (globalPos.x() > rect.right())
		globalPos.setX(rect.right());

	if (globalPos.y() < rect.top())
		globalPos.setY(rect.top());
	else if (globalPos.y() > rect.bottom())
		globalPos.setY(rect.bottom());
}

} //Local namespace