01: /*
02: * Copyright (C) 2004 NNL Technology AB
03: * Visit www.infonode.net for information about InfoNode(R)
04: * products and how to contact NNL Technology AB.
05: *
06: * This program is free software; you can redistribute it and/or
07: * modify it under the terms of the GNU General Public License
08: * as published by the Free Software Foundation; either version 2
09: * of the License, or (at your option) any later version.
10: *
11: * This program is distributed in the hope that it will be useful,
12: * but WITHOUT ANY WARRANTY; without even the implied warranty of
13: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14: * GNU General Public License for more details.
15: *
16: * You should have received a copy of the GNU General Public License
17: * along with this program; if not, write to the Free Software
18: * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
19: * MA 02111-1307, USA.
20: */
21:
22: // $Id: TabWindowMover.java,v 1.17 2005/04/15 15:57:08 johan Exp $
23: package net.infonode.docking;
24:
25: import net.infonode.tabbedpanel.TabAdapter;
26: import net.infonode.tabbedpanel.TabDragEvent;
27: import net.infonode.tabbedpanel.TabEvent;
28: import net.infonode.tabbedpanel.TabbedPanel;
29:
30: /**
31: * @author $Author: johan $
32: * @version $Revision: 1.17 $
33: */
34: class TabWindowMover extends TabAdapter {
35: private AbstractTabWindow window;
36: private TabbedPanel tabbedPanel;
37: private WindowDragger dragger;
38:
39: TabWindowMover(AbstractTabWindow window, TabbedPanel tabbedPanel) {
40: this .window = window;
41: this .tabbedPanel = tabbedPanel;
42: }
43:
44: public void tabDragged(TabDragEvent event) {
45: if (dragger == null) {
46: DockingWindow w = ((WindowTab) event.getTab()).getWindow();
47:
48: if (!w.getWindowProperties().getDragEnabled())
49: return;
50:
51: dragger = new WindowDragger(w);
52: window.setDraggedTabIndex(tabbedPanel.getTabIndex(event
53: .getTab()));
54: }
55:
56: /* if (tabbedPanel.tabAreaContainsPoint(SwingUtilities.convertPoint(event.getTab(), event.getPoint(), tabbedPanel)))
57: dragger.abort();
58: else*/
59: dragger.dragWindow(event.getMouseEvent());
60: }
61:
62: public void tabDropped(TabDragEvent event) {
63: if (dragger != null) {
64: dragger.dropWindow(event.getMouseEvent());
65: dragger = null;
66: }
67: }
68:
69: public void tabDragAborted(TabEvent event) {
70: if (dragger != null) {
71: dragger.abortDrag();
72: dragger = null;
73: }
74: }
75:
76: }
|