When my son is logged in he gets an autohide option on his panel. I don't have this option. Where do I change the configuration? I'm using XFCE 4.3.99.1, if that makes any difference.