/// Buffer to store result messages
docstring const getMessage() const { return dispatch_buffer; }
/// Handle a accented char key sequence
/// Buffer to store result messages
docstring const getMessage() const { return dispatch_buffer; }
/// Handle a accented char key sequence
/// goto a bookmark
/// openFile: whether or not open a file if the file is not opened
/// switchToBuffer: whether or not switch to buffer if the buffer is
/// goto a bookmark
/// openFile: whether or not open a file if the file is not opened
/// switchToBuffer: whether or not switch to buffer if the buffer is
void gotoBookmark(unsigned int idx, bool openFile, bool switchToBuffer);
/// cursor x position before dispatch started
void gotoBookmark(unsigned int idx, bool openFile, bool switchToBuffer);
/// cursor x position before dispatch started