Table of Contents
the counter widget used to implement WidthChooser
__init__ ( self, parent, value, label=None, )