Edit File: tprove_gtk