Searched refs:pushMarkEditor (Results 1 – 1 of 1) sorted by relevance
1698 pushMarkEditor(Editor e, Int mark) in pushMarkEditor() function1717 pushMarkEditor(e, mark); in markEditor()