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

> > I am not sure: I have run only w32 and gtk3.
>
> Then you customized something you never saw in action.


Or the default value of border-width is different for w32 and for gtk3:

;;; w32
(assoc 'border-width (frame-parameters))
(border-width . 2)

;;; gtk3
(assoc 'border-width (frame-parameters))
(border-width . 0)

This is with 'emacs -Q' in both cases.
I didn't change it myself.

Fabrice