an editor to edit nifty-gui files