-
Bug
-
Resolution: Unresolved
-
Major
-
4.2.0
-
None
There is a global loading mask (and not a mask on just the concerned refreshing item, which I suppose is the FileHistoryTool) displaying when clicking on a resource in the explorer tree, which is disturbing.