function FontMenuItem(font) 
{
    /**
     * override of {@link MenuItem#provideContent} to provide content
     * of the menu item
     */
    this.provideContent = function() {
	var div = document.createElement("div");
	div.style.fontFamily = '"' + this.fFont + '"';
	div.style.textAlign = "left";
	div.appendChild( document.createTextNode(this.fFont) );
	return div;
    }

    /**
     * the font name
     * @type String
     * private
     */
    this.fFont = font;
}
/**
 * @class
 * represents a menu item in the font menu - it represents a font
 */
@class
represents a menu item in the font menu - it represents a font
@class represents a menu item in the font menu - it represents a font
function FontMenuItem(font) 
{
    this.provideContent = function() {
	var div = document.createElement("div");
	div.style.fontFamily = '"' + this.fFont + '"';
	div.style.textAlign = "left";
	div.appendChild( document.createTextNode(this.fFont) );
	return div;
    }
    this.fFont = font;
}
function FontMenuItem ( font ) { this . provideContent = function ( ) { var div = document . createElement ( "div" ) ; div . style . fontFamily = '"' + this . fFont + '"' ; div . style . textAlign = "left" ; div . appendChild ( document . createTextNode ( this . fFont ) ) ; return div ; } this . fFont = font ; }
@class
 represents a menu item in the font menu - it represents a font
@class represents a menu item in the font menu - it represents a font
/**
     * override of {@link MenuItem#provideContent} to provide content
     * of the menu item
     */ /**
     * the font name
     * @type String
     * private
     */