Details
-
Improvement
-
Resolution: Fixed
-
Minor
-
1.0 M1
-
None
-
None
Description
Do we really need to refresh the space tree in case of addition or removal of a page? The problem is that when the space contains many pages, the refresh takes a long time. What about adding a distinct reload action instead, and to add/remove dynamically the node in the tree content provider?