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

📄 syntaxstyle.java

📁 拥有图形界面的
💻 JAVA
字号:
/* * SyntaxStyle.java - A simple text style class * Copyright (C) 1999 Slava Pestov * * You may use and modify this package for any purpose. Redistribution is * permitted, in both source and binary form, provided that this notice * remains intact in all source distributions of this package. */package org.joone.edit.jedit;import java.awt.*;/** * A simple text style class. It can specify the color, italic flag, * and bold flag of a run of text. * @author Slava Pestov * @version $Id: SyntaxStyle.java,v 1.3 2003/05/29 21:02:46 pmarrone Exp $ */public class SyntaxStyle{	/**	 * Creates a new SyntaxStyle.	 * @param color The text color	 * @param italic True if the text should be italics	 * @param bold True if the text should be bold	 */	public SyntaxStyle(Color color, boolean italic, boolean bold)	{		this.color = color;		this.italic = italic;		this.bold = bold;	}	/**	 * Returns the color specified in this style.	 */	public Color getColor()	{		return color;	}	/**	 * Returns true if no font styles are enabled.	 */	public boolean isPlain()	{		return !(bold || italic);	}	/**	 * Returns true if italics is enabled for this style.	 */	public boolean isItalic()	{		return italic;	}	/**	 * Returns true if boldface is enabled for this style.	 */	public boolean isBold()	{		return bold;	}	/**	 * Returns the specified font, but with the style's bold and	 * italic flags applied.	 */	public Font getStyledFont(Font font)	{		if(font == null)			throw new NullPointerException("font param must not"				+ " be null");		if(font.equals(lastFont))			return lastStyledFont;		lastFont = font;		lastStyledFont = new Font(font.getFamily(),			(bold ? Font.BOLD : 0)			| (italic ? Font.ITALIC : 0),			font.getSize());		return lastStyledFont;	}	/**	 * Returns the font metrics for the styled font.	 */	public FontMetrics getFontMetrics(Font font)	{		if(font == null)			throw new NullPointerException("font param must not"				+ " be null");		if(font.equals(lastFont) && fontMetrics != null)			return fontMetrics;		lastFont = font;		lastStyledFont = new Font(font.getFamily(),			(bold ? Font.BOLD : 0)			| (italic ? Font.ITALIC : 0),			font.getSize());		//fontMetrics = Toolkit.getDefaultToolkit().getFontMetrics(lastStyledFont);        fontMetrics = javax.swing.text.StyleContext.getDefaultStyleContext ().getFontMetrics(lastStyledFont);		return fontMetrics;	}	/**	 * Sets the foreground color and font of the specified graphics	 * context to that specified in this style.	 * @param gfx The graphics context	 * @param font The font to add the styles to	 */	public void setGraphicsFlags(Graphics gfx, Font font)	{		Font _font = getStyledFont(font);		gfx.setFont(_font);		gfx.setColor(color);	}	/**	 * Returns a string representation of this object.	 */	public String toString()	{		return getClass().getName() + "[color=" + color +			(italic ? ",italic" : "") +			(bold ? ",bold" : "") + "]";	}	// private members	private Color color;	private boolean italic;	private boolean bold;	private Font lastFont;	private Font lastStyledFont;	private FontMetrics fontMetrics;}

⌨️ 快捷键说明

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