Package org.gjt.sp.jedit.gui

Examples of org.gjt.sp.jedit.gui.FontSelector


    addComponent(jEdit.getProperty(
      QuickNotepadPlugin.OPTION_PREFIX + "file"),
      pathPanel);

    font = new FontSelector(makeFont());
    addComponent(jEdit.getProperty(
      QuickNotepadPlugin.OPTION_PREFIX + "choose-font"),
      font);
  }
View Full Code Here


  //{{{ _init() method
  protected void _init()
  {
    /* Font */
    font = new FontSelector(jEdit.getFontProperty("print.font"));
    addComponent(jEdit.getProperty("options.print.font"),font);

    /* Header */
    printHeader = new JCheckBox(jEdit.getProperty("options.print"
      + ".header"));
View Full Code Here

    addComponent(jEdit.getProperty("options.appearance.lf"),
      lookAndFeel);

    /* Primary Metal L&F font */
    primaryFont = new FontSelector(jEdit.getFontProperty(
      "metal.primary.font"));
    addComponent(jEdit.getProperty("options.appearance.primaryFont"),
      primaryFont);

    /* Secondary Metal L&F font */
    secondaryFont = new FontSelector(jEdit.getFontProperty(
      "metal.secondary.font"));
    addComponent(jEdit.getProperty("options.appearance.secondaryFont"),
      secondaryFont);

    updateEnabled();
View Full Code Here

    String nameOfFont = SetupInfo.getProperty(SetupInfo.NAME_OF_REPORT_FONT);
    if (nameOfFont == null || nameOfFont.length() == 0) {
      nameOfFont = "SansSerif";
    }
    reportFont = new FontSelector(new Font(nameOfFont, Font.PLAIN, 12));
    MouseListener l1 =
      new MouseListener() {
        //{{{ +mouseClicked(MouseEvent) : void
        public void mouseClicked(MouseEvent e) { }//}}}
View Full Code Here

TOP

Related Classes of org.gjt.sp.jedit.gui.FontSelector

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.