Code Editor : tprove_gtk