Not sure what is meant by "user can't change it" .
You want to change the icon size used in the main menu from where?
One can edit the gtkrc and the icon size will be used.
Why does the human-theme have to change this setting?
** Changed in: human-theme (Ubuntu)
Status: New => Incomplete
--
main menu's size is locked
https://bugs.launchpad.net/bugs/568346
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs