This example shows an undocumented feature of Panda’s GUI system: 9-slice scaling, which allows you to create themed buttons and frames that scale properly without the borders also getting stretched.
This is an interesting feature. I knew of those parameters but never what they actually were used for. Thank you for mentioning me and thanks @rdb for the nice example. This sure is worth a mention in the manual.
The DirectGui Designer does support most properties available on DirectGui widgets, those for the texture border are also included.