Fixes #3800 : Refresh directive tree when deleting directive
Merge pull request #323 from VinceMacBuche/bug_3800/refresh_directive_tree_deletion

Fixes #3800 : Refresh directive tree when deleting directive