A begin for #134 (autohide panel). Created a checkbox to activate the panel autohide option in the configure dialog. DragEvents are not considered yet.