Also the thing has been bugged for a long time and if you change the font of the default profile, next time chances are high it will have reverted to the old, which is way too small.
-- kubuntu-devel mailing list kubuntu-devel@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/kubuntu-devel
