MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-156735 Bookmarks causing typing slowness (check dispatch thread)

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2016-07-22 20:52:54 +03:00
parent 32f76d62e2
commit bfd9f915a9
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/bookmarks/BookmarkManager.java
+4 -2
View File
@@ -19,6 +19,7 @@ package com.intellij.ide.bookmarks;
import com.intellij.ide.IdeBundle;
import com.intellij.ide.ui.UISettings;
import com.intellij.ide.ui.UISettingsListener;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.components.*;
import com.intellij.openapi.editor.Document;
import com.intellij.openapi.editor.Editor;
@@ -126,16 +127,17 @@ public class BookmarkManager extends AbstractProjectComponent implements Persist
private static void map(Document document, Bookmark bookmark) {
if (document == null || bookmark == null) return;
ApplicationManager.getApplication().assertIsDispatchThread();
List<Bookmark> list = document.getUserData(BOOKMARKS_KEY);
if (list == null) {
document.putUserData(BOOKMARKS_KEY, list = Collections.synchronizedList(new ArrayList<Bookmark>()));
document.putUserData(BOOKMARKS_KEY, list = new ArrayList<Bookmark>());
}
list.add(bookmark);
}
private static void unmap(Document document, Bookmark bookmark) {
if (document == null || bookmark == null) return;
ApplicationManager.getApplication().assertIsDispatchThread();
List<Bookmark> list = document.getUserData(BOOKMARKS_KEY);
if (list != null && list.remove(bookmark) && list.isEmpty()) {
document.putUserData(BOOKMARKS_KEY, null);