You are here

Add new comment

Thanks for the tip, it is a great improvement. It would be good if plastique were the default, but maybe default style is determined by the window manager (?).