⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 dockingportpropertyset.java

📁 定要上载质量高而定要上载质量高而定要上载质量高而定要上载质量高而定要上载质量高而
💻 JAVA
字号:
/*
 * Created on Mar 16, 2005
 */
package org.flexdock.docking.props;

import org.flexdock.docking.RegionChecker;

/**
 * @author Christopher Butler
 */
public interface DockingPortPropertySet {
	public static final String REGION_CHECKER = "DockingPort.REGION_CHECKER";
	public static final String SINGLE_TABS = "DockingPort.SINGLE_TABS";
	public static final String TAB_PLACEMENT = "DockingPort.TAB_PLACEMENT";

	public static final String REGION_SIZE_NORTH = "DockingPort.REGION_SIZE_NORTH";
	public static final String REGION_SIZE_SOUTH = "DockingPort.REGION_SIZE_SOUTH";
	public static final String REGION_SIZE_EAST = "DockingPort.REGION_SIZE_EAST";
	public static final String REGION_SIZE_WEST = "DockingPort.REGION_SIZE_WEST";
	
	public RegionChecker getRegionChecker();
	
	public Boolean isSingleTabsAllowed();
	
	public Integer getTabPlacement();
	
	public Float getRegionInset(String region);
	
	public void setRegionChecker(RegionChecker checker);
	
	public void setSingleTabsAllowed(boolean allowed);
	
	public void setTabPlacement(int placement);
	
	public void setRegionInset(String region, float inset);

}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -