mini.ini -- a tcl/tk interface