Comment by morsch

The default editor in Ubuntu, presumably just the default gnome text editor, is the same. I struggled to get rid of a scratchpad of notes once. Really weird and unexpected and I'm sure it gets people in trouble occasionally.