virtual void push_position();
Pushes the current input source position. The position can be restored again with pop_position.
Back to index