All concerning handling of the indenter.

Classes
class	IndentHandler
	A widget for handling many indenters that are configured by an ini file. More...