📄 mydockingport.java
字号:
package org.flexdock.demos.maximizing;
import javax.swing.JTabbedPane;
import javax.swing.border.Border;
import org.flexdock.docking.DockingManager;
import org.flexdock.docking.DockingPort;
import org.flexdock.docking.defaults.DefaultDockingPort;
import org.flexdock.docking.defaults.DefaultDockingStrategy;
import org.flexdock.docking.defaults.StandardBorderManager;
import org.flexdock.plaf.common.border.ShadowBorder;
public class MyDockingPort extends DefaultDockingPort
{
static
{
initStatic();
}
private static void initStatic()
{
DockingManager.setDockingStrategy(MyDockingPort.class, new MyDockingStrategy());
}
public MyDockingPort()
{
this(new ShadowBorder());
}
public MyDockingPort(Border portletBorder)
{
super();
if (portletBorder != null)
{
setBorderManager(new StandardBorderManager(portletBorder));
}
}
protected JTabbedPane createTabbedPane()
{
JTabbedPane tabbed = super.createTabbedPane();
tabbed.putClientProperty("jgoodies.embeddedTabs", Boolean.TRUE);
return tabbed;
}
// ***************
private static class MyDockingStrategy extends DefaultDockingStrategy
{
protected DockingPort createDockingPortImpl(DockingPort base)
{
return new MyDockingPort();
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -