Hi Sam! > Hi, > > it appears that the "++..." buffers (created by tla-make-log?) are not > included in tla--buffers-tree and thus are not killed by > tla-kill-all-buffers. > > why?
The log message files are not considered as xtla only buffers, because they are saved to disk. So they are not in tla--buffers-tree. How many ++... buffers do you have in your editing session? It seems that no one thought this could be a problem yet. Stefan. _______________________________________________ Xtla-el-dev mailing list [email protected] https://mail.gna.org/listinfo/xtla-el-dev
