fix "IDEA-221944 Deadlock on opening second project" and support preloading for proje...
[idea/community.git] / platform / editor-ui-ex / src / com / intellij / openapi / editor / impl /
drwxr-xr-x   ..
-rw-r--r-- 4660 DocumentMarkupModel.java
-rw-r--r-- 1495 DocumentMarkupModelManager.java
-rw-r--r-- 5786 EmptyMarkupModel.java
-rw-r--r-- 1212 FilteringMarkupIterator.java
-rw-r--r-- 13522 MarkupModelImpl.java
-rw-r--r-- 4451 PersistentRangeHighlighterImpl.java
-rw-r--r-- 13086 RangeHighlighterImpl.java
-rw-r--r-- 6176 RangeHighlighterTree.java
drwxr-xr-x - event