I've just read the bug at the Gnome bugtracker, the bug description is critically different from this one - it does not request to _incorrectly_ mark 'nice' as 'priority', but asks for adding another, text based value of 'priority' or replacing nice values with it completely by default.
Nice is not the same as priority - first of all, it could only be named "reverse priority". Moreover, there IS a 'priority' numeric value which is only indirectly connected to the nice value and "priority names" as in windows (start 'top' and you'll see it). -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. https://bugs.launchpad.net/bugs/249208 Title: Change "Nice" to "Priority" in System Monitor To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-system-monitor/+bug/249208/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs