A workaround (I'm running into the same problem on the same build with JDK 1.3.1_03) is to exit IDEA, directly edit the XML file in the IDEA config\colors directory, and then restart IDEA.
;ted ----- Original Message ----- From: "Michael Kirby" <[EMAIL PROTECTED]> Newsgroups: jetbrains.intellij.eap.bugs Sent: Sunday, June 09, 2002 4:45 AM Subject: Re: Re: Changing editor font. > 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
