Recently my Ubuntu system at work started showing a couple of really annoying bugs:
- The line spacing in all Java applications was doubled. This meant that I could only get 1/2 as much text on the screen in JEdit.
- When numlock was off the keypad allowed me to use the arrow keys, but when I turned numlock on, I could not use the numbers.
The fix to the first problem was easier. I ran
sudo update-alternatives --config java
and found that my default JVM had switched from Sun to OpenJDK. I switched it back and my fonts were back to normal.
The second problem took a lot more research. I finally found the answer here. Apparently some accessibility option got turned on that took over my key pad. I had to go to System->Preferences->Keyboard and under the Mouse Keys option uncheck “Allow to control the pointer using the keyboard”.
It took a couple hours to get these two corrected, so I hope this saves others some time.