int () { // load document in case this is a lazy persistent marker and the document wasn't loaded yet, because we need to convert (line;col) to offset first in this case if (!isDocumentLoaded()) { ReadAction.run(()->getDocument()); } return super.getStartOffset(); }