[tde-users] Re: [Bug] Panel can't be set to autohide, because then it can't be brought back by moving mouse to the screen edge