small feature request : bpatcher border size

hi,

The possibility to add a border to a bpatcher is great...
But quite everytime I don't use it just because we can't
set a border width.
Of course the 'workaround' is to add a panel inside the bpatcher..
but it would be so much easier if we had a bordersize attribute!
(so that we don't have to resize the 'workaround' pannel each time we resize the bpatcher).

Ch