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? -- Sam Steingold (http://www.podval.org/~sds) on Fedora Core release 5 (Bordeaux) http://dhimmi.com http://honestreporting.com http://truepeace.org http://palestinefacts.org http://openvotingconsortium.org http://pmw.org.il Nostalgia isn't what it used to be. _______________________________________________ Xtla-el-dev mailing list [email protected] https://mail.gna.org/listinfo/xtla-el-dev
