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

📄 util.java

📁 aglet的部分源码
💻 JAVA
字号:
package com.ibm.aglets.tahiti;/* * @(#)Util.java *  * IBM Confidential-Restricted *  * OCO Source Materials *  * 03L7246 (c) Copyright IBM Corp. 1996, 1998 *  * The source code for this program is not published or otherwise * divested of its trade secrets, irrespective of what has been * deposited with the U.S. Copyright Office. */import java.awt.Container;import java.awt.Component;import java.awt.GridBagLayout;import java.awt.GridBagConstraints;import java.awt.Font;import java.awt.Color;import java.util.Vector;import java.util.Enumeration;import com.ibm.awb.misc.Resource;class Util {	static Font titleFont = null;	static Font proportionalFont = null;	static Font fixedFont = null;	static Color background = null;	private static Vector titles = new Vector();	private static Vector proportionals = new Vector();	private static Vector fixeds = new Vector();	private static Vector backgrounds = new Vector();	synchronized public static Color getBackground() {		if (background == null) {			Resource res = Resource.getResourceFor("tahiti");			background = res.getColor("tahiti.background", null);		} 		return background;	}	synchronized public static Font getFixedFont() {		if (fixedFont == null) {			Resource res = Resource.getResourceFor("tahiti");			fixedFont = res.getFont("tahiti.fixedFont", null);		} 		return fixedFont;	}	synchronized public static Font getProportionalFont() {		if (proportionalFont == null) {			Resource res = Resource.getResourceFor("tahiti");			proportionalFont = res.getFont("tahiti.font", null);		} 		return proportionalFont;	}	synchronized public static Font getTitleFont() {		if (titleFont == null) {			Resource res = Resource.getResourceFor("tahiti");			titleFont = res.getFont("tahiti.titleFont", null);		} 		return titleFont;	}	synchronized public static void reset() {		titleFont = null;		proportionalFont = null;		fixedFont = null;		background = null;	}	public static void setBackground(Component cmp) {		backgrounds.addElement(cmp);		cmp.setBackground(getBackground());	}	public static void setFixedFont(Component cmp) {		if (fixeds.contains(cmp) == false) {			fixeds.addElement(cmp);		} 		cmp.setFont(getFixedFont());	}	public static void setFont(Component cmp) {		if (proportionals.contains(cmp) == false) {			proportionals.addElement(cmp);		} 		cmp.setFont(getProportionalFont());	}	public static void setTitleFont(Component cmp) {		if (titles.contains(cmp) == false) {			titles.addElement(cmp);		} 		cmp.setFont(getTitleFont());	}	synchronized static public void update() {		Enumeration e = titles.elements();		Component c;		while (e.hasMoreElements()) {			c = (Component)e.nextElement();			c.setFont(getTitleFont());		} 		e = proportionals.elements();		while (e.hasMoreElements()) {			c = (Component)e.nextElement();			c.setFont(getProportionalFont());		} 		e = fixeds.elements();		while (e.hasMoreElements()) {			c = (Component)e.nextElement();			c.setFont(getFixedFont());		} 		/*		 * e = backgrounds.elements();		 * while(e.hasMoreElements()) {		 * c = (Component)e.nextElement();		 * c.setBackground(getBackground());		 * }		 */	}}

⌨️ 快捷键说明

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