📄 dockabletitlepane.java
字号:
/*
* Created on Jul 7, 2005
*/
package org.flexdock.demos.util;
import java.awt.Component;
import java.util.ArrayList;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import org.flexdock.docking.Dockable;
import org.flexdock.docking.DockingManager;
import org.flexdock.docking.DockingPort;
import org.flexdock.docking.event.DockingEvent;
import org.flexdock.docking.event.DockingEventHandler;
import org.flexdock.docking.event.DockingListener;
import org.flexdock.docking.props.DockablePropertySet;
import org.flexdock.docking.props.PropertyManager;
/**
* @author Christopher Butler
*/
public class DockableTitlepane extends Titlepane implements Dockable {
private String dockingId;
private ArrayList dragSources;
private HashSet frameDragSources;
public DockableTitlepane(String id, String title) {
super(title);
dockingId = id;
// initialize the drag sources
dragSources = new ArrayList();
frameDragSources = new HashSet();
// use the titlebar as a drag source
dragSources.add(getTitlebar());
frameDragSources.add(getTitlebar());
}
// Begin user-defined methods
public Component getComponent() {
return this;
}
public List getDragSources() {
return dragSources;
}
public Set getFrameDragSources() {
return frameDragSources;
}
public String getPersistentId() {
return dockingId;
}
// End user-defined methods
// Begin framework-provided methods
public boolean dock(Dockable dockable, String relativeRegion, float ratio) {
return DockingManager.dock(dockable, this, relativeRegion, ratio);
}
public boolean dock(Dockable dockable, String relativeRegion) {
return DockingManager.dock(dockable, this, relativeRegion);
}
public boolean dock(Dockable dockable) {
return DockingManager.dock(dockable, this);
}
public DockingPort getDockingPort() {
return DockingManager.getDockingPort((Dockable)this);
}
public DockablePropertySet getDockingProperties() {
return PropertyManager.getDockablePropertySet(this);
}
public void addDockingListener(DockingListener listener) {
DockingEventHandler.addDockingListener(this, listener);
}
public DockingListener[] getDockingListeners() {
return DockingEventHandler.getDockingListeners(this);
}
public void removeDockingListener(DockingListener listener) {
DockingEventHandler.removeDockingListener(this, listener);
}
// End framework-provided methods
// Begin event handler methods
public void dockingCanceled(DockingEvent evt) {
}
public void dockingComplete(DockingEvent evt) {
}
public void dragStarted(DockingEvent evt) {
}
public void dropStarted(DockingEvent evt) {
}
public void undockingComplete(DockingEvent evt) {
}
public void undockingStarted(DockingEvent evt) {
}
// End event handler methods
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -