#6 font too small in editor

closed
None
5
2003-02-25
2001-11-29
Anonymous
No

Hi,

The editor font is way too small on my display.

I couldn't find a way to increase the font size.

Amir

Discussion

  • Riaan Booysen

    Riaan Booysen - 2002-06-21

    Logged In: YES
    user_id=438

    Preferences->Sources->Python

    Opens a Style Dialog Editor where everything can be set.

    All default fonts look reasonably big on my system.

     
  • Riaan Booysen

    Riaan Booysen - 2003-02-25
    • assigned_to: nobody --> riaan
    • status: open --> closed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks