Sorry...629 on windows 2000. You mean, your version of IDEA can't read my mind and tell the version?? Slacking a little bit eh? :-)
Mike On 9 Jun 2002 at 14:51, Maxim Shafirov wrote: > 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 > --- [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
