hides out panel when quit agda