Funny how two posts ago I was having trouble with font size in Emacs. The other day, I don't know what I did, I don't have a cat I can blame for walking across the keyboard, but I made the JDeveloper font size SO SMALL, I could barely see it. OK, it was like 7-8 point - still, VERY SMALL!!
So I did what you do, I quit JDev. Then today when I started it up, oh damn, I never did solve the font size thing. Clearly there is some keystroke that makes fonts smaller. I know there is, because I fell into a big bucket of that.
What I did find, though, is if you go to Tools -> Preferences and just search for "font" it's under Code Editor. I made it SO BIG, it's now a pleasure to use!!
There's nothing wrong with getting older that changing your font size won't fix!!
🙂
