fix shelf autohide after changing its settings in advanced mode.
fix shelf autohide after changing its settings in advanced mode.

shelf should be hidden if it was recreated (restart == 1) and autohide
is set.



git-svn-id: 6ac5796aeae0cef97fb47bcc287d4ce899c6fa6e@40127 7cbeb6ba-43b4-40fd-8cce-4c39aea84d33

jordemort/e17,jordemort/e17,jordemort/e17