43444546474849505152
} private DockingPort getRootDockingPort() { if(rootDockingPort==null) { DefaultDockingPort port = new DefaultDockingPort(); port.setBorderManager(new StandardBorderManager(new ShadowBorder())); rootDockingPort = port; } return rootDockingPort; }
19202122232425
private static void initStatic() { DockingManager.setDockingStrategy(MyDockingPort.class, new MyDockingStrategy()); } public MyDockingPort() { this(new ShadowBorder()); }