method private change_label label = let label = check_label label in let old_label = current_label in current_label <- Some label; old_label