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 […]