Mike, what is the build # you're experiencing that problem with? --
Best regards, Maxim Shafirov JetBrains, Inc / IntelliJ Software http://www.intellij.com "Develop with pleasure!" "Michael Kirby" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED]... > How do I change the default editor font? When I got to edit it in options, it doesn't stick, and > doesn't make any changes to any of my open editors. > > Mike > --- > [EMAIL PROTECTED] > To obtain my PGP public key, mail "SEND PUB KEY" in the > subject to "[EMAIL PROTECTED]" > _______________________________________________ Eap-bugs mailing list [EMAIL PROTECTED] http://lists.jetbrains.com/mailman/listinfo/eap-bugs
