def mark_edition_time(self):
        """Mark current time as the last edition time."""
        ### mark current time, which represents the time
        ### at which the most recent change was made in the
        ### text
        self.last_edition_frame = GENERAL_NS.frame_index
Mark current time as the last edition time.
nodezator/textman/editor/cursor/syntaxhigh.py