Martin Grenfell 04d9b27541 add .refreshFlags() to path/dir/file objects ...

This will trigger the path refresh callbacks without refreshing the
path's from disk (which takes ages)

2014-07-07 18:24:37 +01:00

..

nerdtree

add .refreshFlags() to path/dir/file objects

2014-07-07 18:24:37 +01:00