private void updateMnemonic(@NotNull Bookmark bookmark, char c) {
    bookmark.setMnemonic(c);
    getPublisher().bookmarkChanged(bookmark);
    bookmark.updateHighlighter();
  }
private void updateMnemonic(@NotNull Bookmark bookmark, char c)