clicking box not opening updated file
Closed this issue · 1 comments
iainctduncan commented
if we change the file on the file system, and then double click it, we are not loading the right file. Damn it.
iainctduncan commented
fixed by having the dbl click always reload the file from disk, I think that makes sense.