EditorFoldingInfo (@NotNull Editor editor) { if (editor instanceof EditorWindow) return new EditorFoldingInfoWindow(get(((EditorWindow)editor).getDelegate())); synchronized (ourLock) { EditorFoldingInfo info = editor.getUserData(KEY); if (info == null){ info = new EditorFoldingInfo(); editor.putUserData(KEY, info); } return info; } }