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

Merge pull request #378 (https://github.com/JetBrains/intellij-community/pull/378)

Browse Source
This commit is contained in:
Roman Shevchenko
2016-04-06 18:48:08 +02:00
parent 229560c2d6 fa213634c1
commit b31f976079
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/vfs/impl/local/FileWatcher.java
+1 -3
View File
@@ -184,9 +184,7 @@ public class FileWatcher {
@Override
public void notifyManualWatchRoots(@NotNull Collection<String> roots) {
if (!roots.isEmpty()) {
myManualWatchRoots.add(ContainerUtil.newHashSet(roots));
}
myManualWatchRoots.add(ContainerUtil.newHashSet(roots));
notifyOnAnyEvent();
}