Listen for volume prune events (#3716)

src/tree/RefreshManager.ts

@@ -23,7 +23,7 @@ type RefreshReason = 'interval' | 'event' | 'config' | 'manual' | 'contextChange
 const ContainerEventActions: EventAction[] = ['create', 'destroy', 'die', 'kill', 'pause', 'rename', 'restart', 'start', 'stop', 'unpause', 'update'];
 const ImageEventActions: EventAction[] = ['delete', 'import', 'load', 'pull', 'save', 'tag', 'untag'];
 const NetworkEventActions: EventAction[] = ['create', 'destroy', 'remove'];
-const VolumeEventActions: EventAction[] = ['create', 'destroy'];
+const VolumeEventActions: EventAction[] = ['create', 'destroy', 'prune']; // Unlike containers/images/networks, when pruning volumes, no `destroy` event is fired, only `prune`, so we listen to that too
 
 export class RefreshManager extends vscode.Disposable {
     private readonly autoRefreshDisposables: vscode.Disposable[] = [];