You have been subscribed to a public bug: Despite the default for that option being not-case-sensitive, there's no way to disable it. Checking and unchecking the box has no effect. Nothing in the backtrace... no backtrace, really.
** Affects: kdeedu (Ubuntu) Importance: Undecided Status: Incomplete -- kiten-kde4 is always case-sensitive https://bugs.edge.launchpad.net/bugs/208124 You received this bug notification because you are a member of Kubuntu Team, which is subscribed to kdeedu in ubuntu. -- kubuntu-bugs mailing list kubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/kubuntu-bugs