|
What this is
Other links
The source code/* * SyntaxStyle.java - A simple text style class * :tabSize=8:indentSize=8:noTabs=false: * :folding=explicit:collapseFolds=1: * * Copyright (C) 1999, 2003 Slava Pestov * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ package org.gjt.sp.jedit.syntax; import java.awt.Font; import java.awt.Color; /** * 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.5 2003/03/14 02:51:25 spestov Exp $ */ public class SyntaxStyle { //{{{ SyntaxStyle constructor /** * Creates a new SyntaxStyle. * @param fgColor The text color * @param bgColor The background color * @param font The text font */ public SyntaxStyle(Color fgColor, Color bgColor, Font font) { this.fgColor = fgColor; this.bgColor = bgColor; this.font = font; } //}}} //{{{ getForegroundColor() method /** * Returns the text color. */ public Color getForegroundColor() { return fgColor; } //}}} //{{{ getBackgroundColor() method /** * Returns the background color. */ public Color getBackgroundColor() { return bgColor; } //}}} //{{{ getFont() method /** * Returns the style font. */ public Font getFont() { return font; } //}}} //{{{ getCharWidth() method /** * Returns the character width of the monospaced font. * @since jEdit 4.2pre1 */ public int getCharWidth() { return charWidth; } //}}} //{{{ setCharWidth() method /** * Sets the character width of the monospaced font. * @param charWidth The character width * @since jEdit 4.2pre1 */ public void setCharWidth(int charWidth) { this.charWidth = charWidth; } //}}} //{{{ Private members private Color fgColor; private Color bgColor; private Font font; private int charWidth; //}}} } |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.