Searched refs:MARK_RIGHT (Results 1 – 1 of 1) sorted by relevance
16 MARK_RIGHT = "calltipwindowregion_right" variable72 self.anchor_widget.mark_set(MARK_RIGHT, parenright)101 self.anchor_widget.compare("insert", ">", MARK_RIGHT):136 self.anchor_widget.mark_unset(MARK_RIGHT)