[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25083: 26.0.50; poor interaction between flymake and desktop-save-mo
bug#25083: 26.0.50; poor interaction between flymake and desktop-save-mode
Fri, 02 Dec 2016 09:08:08 +0200
> From: Sam Steingold <address@hidden>
> Date: Thu, 1 Dec 2016 15:04:14 -0500
> Cc: address@hidden
> you are making a good point.
> however, _I_ (the user) should not have to deal with this myself.
> flymake should know how to work with desktop.
My intent was to suggest a way in which this could be solved, not to
imply that there's no problwm. As seem to be familiar with flymake, I
hoped that you might be able to point to that variable, and we could
either included it by default, or at least discuss whether setting it
(assuming it exists) is a user-level issue.