I think the menu item might be better off using "pinned" as this is how apt-get documentation on the web refers to this. Inconsistency might confuse a newbie?
** Changed in: synaptic (Ubuntu) Status: Unconfirmed => Confirmed -- Consistent terminology: "Locked" vs "Pinned" https://launchpad.net/bugs/17092 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs