Fixed issue #36; file browser bewould become desynced when a file is deleted or created.
Merge branch 'master' of github.com:pairide/pairide
Merge branch 'master' of github.com:pairide/pairide