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:19:10 +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>
> 
> On Sat, Sep 5, 2020 at 2:17 PM Eli Zaretskii <eliz@gnu.org> wrote:
> > [...]
> > Then we have a reproducibility problem, because I don't see this with
> > the native build, and neither did Martin at the time (see his initial
> > response to the original bug report).
> 
> 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.