mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-144937 Bookmarks preview is not displayed (gray pane)
This commit is contained in:
@@ -149,6 +149,9 @@ public class DetailViewImpl extends JPanel implements DetailView, UserDataHolder
|
||||
getEditor().getCaretModel().moveToLogicalPosition(positionToNavigate);
|
||||
validate();
|
||||
getEditor().getScrollingModel().scrollToCaret(ScrollType.CENTER);
|
||||
} else {
|
||||
revalidate();
|
||||
repaint();
|
||||
}
|
||||
|
||||
getEditor().setBorder(IdeBorderFactory.createBorder(SideBorder.TOP));
|
||||
|
||||
Reference in New Issue
Block a user