7afe9cc78b
When a window becomes managed, if the config specifies a pixel border style, explicitly set the current border width so it does not change when the container changes from tiling to floating. fixes #1266