Uploaded image for project: 'Groovy'
  1. Groovy
  2. GROOVY-6303

Add ability to use a different font for the input/output area of Groovy Console

    XMLWordPrintableJSON

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Minor
    • Resolution: Fixed
    • Affects Version/s: 2.1.6
    • Fix Version/s: 2.3.0-beta-1
    • Component/s: Groovy Console
    • Labels:
      None
    • Environment:
      Tested on Linux

      Description

      Add the ability to change the default font used for the input and output area of Groovy Console by:

      • Linux: adding a new config entry, "fontName", in the default UI configuration file ~/.java/.userPrefs/groovy/ui/prefs.xml
      • Windows: adding the value "font/Name" to the "HKEY_CURRENT_USER\Software\JavaSoft\Prefs\groovy\ui" registry key
      • Mac OS X: adding a new entry, "fontName", under /groovy/ui in the Java Utils preference file ~/Library/Preferences/com.apple.java.JavaPreferences.plist

        Attachments

        1. groovyconsole-fontname.patch
          5 kB
          Ingo Hoffmann
        2. groovyconsole-fontname.patch
          6 kB
          Ingo Hoffmann

          Activity

            People

            • Assignee:
              pschumacher Pascal Schumacher
              Reporter:
              lasombra Ingo Hoffmann
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: