ninja-ide/ninja-ide — Issue #250: Deleting a file does not refresh the file tree
Author: aaloy
Created: 2012-02-08 11:23:52+00:00
State: open

The file is deleted using the context menu, but the file tree ins not refreshed.