diff options
| author | Tor Norbye <tnorbye@google.com> | 2014-09-04 13:24:04 -0700 |
|---|---|---|
| committer | Tor Norbye <tnorbye@google.com> | 2014-09-04 13:24:04 -0700 |
| commit | c3d3a90f6b4ead083d63e28e6b9fcea93d675678 (patch) | |
| tree | fc0dcd722b6d445468dbe7dad13b4c11781b1cbe /xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java | |
| parent | 1aa2e09bdbd413eacb677e9fa4b50630530d0656 (diff) | |
| download | idea-c3d3a90f6b4ead083d63e28e6b9fcea93d675678.tar.gz | |
Snapshot idea/138.1980 from git://git.jetbrains.org/idea/community.git
Change-Id: Ib567c9c152d770212a7a3db20fbf591c210920bd
Diffstat (limited to 'xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java')
| -rw-r--r-- | xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java b/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java index aec3931e6a45..9acad44ae743 100644 --- a/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java +++ b/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java @@ -112,7 +112,7 @@ public class DomElementAnnotationsManagerImpl extends DomElementAnnotationsManag myProject = project; final ProfileChangeAdapter profileChangeAdapter = new ProfileChangeAdapter() { @Override - public void profileActivated(@NotNull Profile oldProfile, Profile profile) { + public void profileActivated(Profile oldProfile, Profile profile) { dropAnnotationsCache(); } |