On 29.06.2009 23:57, Jonathan Gordon wrote:
Also, (to steal one of Lloreans arguments...), what is the point of hiughlighting the currently(-sorry, last selected) theme anyway? the only reason to go into that list is to *change* the theme and in that case there is never a need to know which the last theme was.
But then we also don't need to pre-select the font, for example. The reasoning is the same.
