ninja-ide/ninja-ide — Issue #314: Problem with running project (automatic save)
Author: diegosarmentero
Created: 2012-03-05 11:26:28+00:00
State: open

Reported by someone else:
I was running 2.0-beta3. And this was not limited to to dropbox. I tried editing one of the files open in Ninja using another editor, and then switched back to ninja and hit f6. When I afterwards opened the file, it was in its pre-edited state.