Name:     activeBorderWidth
       Class:    BorderWidth
       Switch:   -activeborderwidth
           Specifies a non-negative value indicating the width of the 3-D
           border drawn around active elements.  See above for definition of
           active elements.  The value may have any of the forms acceptable to
           Tk_GetPixels.  This option is typically only available in widgets
           displaying more than one element at a time (e.g. menus but not
           buttons).