function setJumpPosition(curPos) {
        EditorManager.getCurrentFullEditor().setCursorPos(curPos.line, curPos.ch, true);
    }
Utility function to make the jump
@param   {Object} curPos - target postion for the cursor after the jump