I suspect it's highlighting the selection wrong, but I can't figure out where to set it. Nothing obvious in the preferences file. Anyway, when I look at the tools/board or tools/port display, the selected item has a dot on the line but nothing else . It's like it's printing white text on a white background. How can I correct this? It works fine, I just don't know what I've selected unless I select something else temporarily.
Sorry, I forgot to mention I'm running the 1.0.5 IDE on a Linux Mint 13 64 bit system.