Definition at line 1533 of file editor_markers.cc.
Definition at line 1534 of file editor_markers.cc.