GUI: proposition rename now also renames tab