protected override void CloseInner() { CurrentWorkspace.UpdatePaths(); // Make sure newly added/removed paths are stored as well. // TODO: Remove the library. }