2017-10-18 19:45 GMT+02:00 martin rudalics <rudalics@gmx.at>:

> > Seems good to me. I can restore my desktop.
>
> OK, closing this bug.
>
> BTW, have you ever seen those borders?  They usually show up only for
> non-toolkit builds.


I am not sure: I have run only w32 and gtk3.

Fabrice