bug#25083: 26.0.50; poor interaction between flymake and desktop-save-mode

[Eli Zaretskii]

> From: Sam Steingold <sds@gnu.org>
> Date: Thu, 1 Dec 2016 15:04:14 -0500
> Cc: 25083@debbugs.gnu.org
> 
> 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.

Thanks.