Can be used to visually edit INI files of TOPP tools.
The values can be edited by double-clicking or pressing F2.
The documentation of each value is shown in the text area on the bottom of the widget.
1.9.1 
