After upgrade from 12.04 to 12.10 I am missing multiple options in the settings panel. Most seem to be display related like
- sticky edges in the display panel the
- behavior tab in the appearance panel
Does anybody have an idea why these are missing and how to get them back ? I am currently running gnome-shell - not sure if this influences the settings but I am mentioning it for completeness.