search

legion80 / TextMateDBGp

A PHP debugging plugin for TextMate.
Other
12 stars 3 forks source link

Deleting a file while navigator is filtered does not refresh filtered list #1

Open legion80 opened 13 years ago

legion80 commented 13 years ago

If you delete a file by using the context menu, the item remains in the list.