Hi Alexis, On Mon, Apr 14 2014, Alexis <[email protected]> wrote: > Hi Joost, > > Thanks for looking into this!
I just like a good mystery, is all. ;-) > Joost Kremers <[email protected]> writes: > >> The last part is relevant: apparently, RMS decided against making the >> mail-header-separator 'read-only. So we may assume that the code of >> message.el and of gnus in general assumes that the header separator can >> be deleted without setting `inhibit-read-only' to t. >> >> Speculating a bit further here, it seems safe to assume that mu4e itself >> does the right thing and makes sure the header separator is handled >> properly. That would suggest that you see the problem because you >> sometimes send messages outside of mu4e, perhaps through gnus or some >> other package that uses message.el or sendmail.el. Are you, by any >> chance? > > No, i haven't used Gnus for quite some time - years, i think - and i > can't think of anything other than mu4e that might be using message.el > or sendmail.el; the only other messaging system i'm using at the moment is > ERC. On second thought, even if a message sent outside of mu4e leaves a buffer called ` *message temp*' around, it wouldn't have a header separator with a read-only property, I guess... I'm not familiar enough with the code to really know how mu4e and message.el deal with (temporary) message buffers. Perhaps Dirk can shed some light on that. What I would personally try is to remove the line that adds the read-only property from mu4e-draft.el, and then recompile mu4e and restart Emacs. That may be overkill, but I've seen text properties persist on a hard-coded string in a function, even if that function was called multiple times... (At least, I *think* I've seen it. It's a long time ago. ;-) It'll also make sure that any temporary message buffers are killed (assuming they're not saved by desktop.el or something similar.) -- Joost Kremers Life has its moments -- You received this message because you are subscribed to the Google Groups "mu-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
