parameters: (self, widget, xborder=3, yborder=3)
docstring: Extends the widget by incresing its minimum size by border in pixels.
docstring_summary: Extends the widget by incresing its minimum size by border in pixels.
docstring_tokens: Extends the widget by incresing its minimum size by border in pixels .
function: def extend_widgetsize(self, widget, xborder=3, yborder=3):
          """
          Extends the widget by incresing its minimum size by border in pixels.
          """
          s = widget.GetSize()
          widget.SetMinSize((s[0]+xborder, s[1]+yborder))
function_tokens: def extend_widgetsize ( self , widget , xborder = 3 , yborder = 3 ) : s = widget . GetSize ( ) widget . SetMinSize ( ( s [ 0 ] + xborder , s [ 1 ] + yborder ) )