INIFileEditor

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.