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