📄 globalparameters.java
字号:
/*
* Created on 2005-1-7
*
* TODO To change the template for this generated file go to
* Window - Preferences - Java - Code Style - Code Templates
*/
package com.icbcsdc.ddlexp.ui;
import java.awt.Dimension;
import java.awt.Toolkit;
import java.io.File;
/**
* @author lijf
*
* TODO To change the template for this generated type comment go to
* Window - Preferences - Java - Code Style - Code Templates
*/
public class GlobalParameters {
/**记录ddl数据库位置信息*/
public static String ddlDBConfig="cfg/ddl_db.cfg";
/**记录数据对象比较结果的对象*/
public static String compareDBConfig="cfg/compare_db.cfg";
/**
* 导出数据库定义的文件目录
* */
public static File expDBDir = null;
/**
* 界面的长度和宽度
*/
private static Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); //屏幕的大小
public static int TREE_WIDTH = 310; //导航树的宽度
public static int RIGHT_HEIGHT = screenSize.height - 95; //右框窗口的默认高度
public static int RIGHT_HEIGHT_CONTENT = screenSize.height - 120; //右框窗口的内容显示默认高度
public static int RIGHT_WIDTH = screenSize.width - TREE_WIDTH - 70; //右框窗口内容的默认宽度
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -