I just upgraded to 11.02 from 10.04 and now my highlighting is completely messed up. Here is a screenshot:
Clipboard01.jpg 176.18K 50 downloads
And the same page from 10.04:
Clipboard02.jpg 205.84K 33 downloads
Is this a bug or can I do something to fix it? Also, the space between lines in 11.02 is much larger, something I do not like. Is there a way to adjust this?