Re: [Xtla-el-dev] A slight bug in tla--run-tla-async

[Masatake YAMATO]

How do you think implement tla--with-current-buffer-maybe?

tla--with-current-buffer-maybe will be expaned to:

    (when (buffer-live-p ,(current-buffer))
          (with-current-buffer ,(current-buffer)
                               ...))