int (@NotNull Document document, int offset) { if (document.getTextLength() == 0) return 0; if (offset >= document.getTextLength()) return document.getLineCount(); return document.getLineNumber(offset); }