User Activity

  • Posted a comment on ticket #3931 on jEdit

    That did the trick... and it seems doing it via the terminal wasn't enough. Finder...

  • Modified a comment on ticket #3931 on jEdit

    OK, that Isabelle snapshot worked out-of-the-box. I didn't need to do anything for...

  • Posted a comment on ticket #3931 on jEdit

    OK, that Isabelle snapshot worked out-of-the-box. I didn't need to do anything for...

  • Modified a comment on ticket #3931 on jEdit

    Yea, I'd thought it might be that as well, but adding to the plist file didn't appear...

  • Modified a comment on ticket #3931 on jEdit

    Yea, I'd thought it might be that as well, but adding to the plist file didn't appear...

  • Posted a comment on ticket #3931 on jEdit

    Yea, I'd thought it might be that as well, but adding to the plist file didn't appear...

  • Posted a comment on ticket #3931 on jEdit

    I should mention the example images were taken on a 220 DPI screen.

  • Created ticket #3931 on jEdit

    incorrect display scaling on MacOSX Retina (with workaround)

View All

Personal Data

Username:
draeath
Joined:
2007-11-13 07:42:32

Projects

  • No projects to display.

Skills

  • No skills entered.

Personal Tools

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

Sign up for the SourceForge newsletter:





No, thanks