Deleting a channel

I have synced the teams and channels to my Windows Explorer. However, when a channel is deleted in Teams - its still in the explorer folder. I have to delete it manually.  Is this supposed to work ...