bug#25542: 25.1; Restoring the frame from fullscreen to maximized

[Eli Zaretskii]

> From: Dani Moncayo <dmoncayo@gmail.com>
> Date: Sat, 5 Sep 2020 14:32:04 +0200
> Cc: Ken Brown <kbrown@cornell.edu>, Lars Magne Ingebrigtsen <larsi@gnus.org>, 
> 25542@debbugs.gnu.org, 
>       Noam Postavsky <npostavs@users.sourceforge.net>, martin rudalics 
> <rudalics@gmx.at>
> 
> > > Did you try with the taskbar attached to the left side of the screen?
> >
> > No.  And it isn't clear to me whether Martin did.
> 
> OK.  So, are you able to reproduce the problem now?

I didn't try.  Not enough time, sorry.