void (@NotNull Editor editor, int offset, boolean animated) { ScrollingModel model = editor.getScrollingModel(); if (!animated) model.disableAnimation(); model.scrollHorizontally(offset); if (!animated) model.enableAnimation(); }