Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • B bjgf
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Issues 127
    • Issues 127
    • List
    • Boards
    • Service Desk
    • Milestones
  • Jira
    • Jira
  • Activity
  • Create a new issue
  • Issue Boards
Collapse sidebar
  • BlueJ
  • bjgf
  • Issues
  • #1779
Closed
Open
Issue created Oct 25, 2015 by Michael Kölling@mikMaintainer

[GREENFOOT-435] Editor preferences need rethinking

The editor preference pane currently applies to the Java editor only.

We either need another one for the Stride editor, or two sections in the editor pref pane \- maybe the font size should apply to both.

In any case, there should be a numerical preference setting for font size in preferences that applies to the Stride editor.


Issue metadata

  • Issue type: Task
  • Priority: Low
Assignee
Assign to
Time tracking