|
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.