On 7 November 2012 10:51, David Balažic <16...@bugs.launchpad.net> wrote:
> >From https://wiki.ubuntu.com/PaperCut: > > "A paper cut is a trivially fixable usability bug that the average user > would encounter in default installation of Ubuntu or Kubuntu Desktop > Edition." > I know, and I considered that. In the end, there's only so much time and resources that can be devoted to paper cuts by the contributors, and when there is already an effort to port Firefox to GTK3 ( https://bugzilla.mozilla.org/show_bug.cgi?id=627699), I don't think's it's a good idea to carry out any work that will only be applying a sticking plaster to an issue that'll be resolved in due course. PS: The https://wiki.ubuntu.com/PaperCut page is missing in action. (it > shows "This page does not exist yet. You can create a new empty page, or > use one of the page templates.") Woops, my bad. I was consolidating the paper cut pages and seem to have missed that one. It now forwards to OneHundredPaperCuts, which is where I simply moved all of its content. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to the bug report. https://bugs.launchpad.net/bugs/16492 Title: Mouse pointer should disappear when keyboard is in use and mouse isn't To manage notifications about this bug go to: https://bugs.launchpad.net/elementaryos/+bug/16492/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
