On Wednesday, October 27, 2004 at 23:36:42, Matthieu Moy wrote: > Robert Widhopf-Fenk <[EMAIL PROTECTED]> writes: > > > On Wednesday, October 27, 2004 at 22:29:40, Matthieu Moy wrote: > >> Or perhaps a ~/.xtla/state.el, that would allow to store > >> bookmarks in ~/.xtla/bookmarks.el, leaving room for a > >> ~/.xtla/whatever.el? > > > > Yes, this is the way to go, > > Then, I would add a ~/.xtla/init.el loaded on Xtla startup. > > > also tla-log-library should be stored there by default. > > Hmmm, the log library is Xtla specific only because it's not > implemented by other tools, but I'd rather let this open. The fact > that it's named .arch-log-library and not .tla-log-library is also > intentional: Another arch client could use it. > > > One thing I was confused about was a 1-2 sec delay of Xemacs > > doing garbage-collecting due to loading, processing and > > saving of the custom file. Which is a big annoying since > > frequent and fast commits are a nice thing. > > I think the delay you get comes from saving ++log... & launching the > tla process, not displaying the tip window. In my Emacs, pressing > `n' and `p' in the tip buffer shows the next/previous tip > instantaneously.
No, it comes from customize-save-variable, since when I disable it its as before. But it definitely is related to the content of ~/.xemacs/custom.el ... Is it necessary to save it each time, might be also ok to do it only on kill-emacs ... > Anyway, the tip feature is meant to be desactivated after some time > of use. The advanced user you are can set `tla-tips-enabled' to nil > ;-) Well Xtla is a mighty beast by now and probably I know and use only 10%? of it, so I hope to learn new things after each merge ;-) > > I wonder if we really need to save the tip-number between > > sessions. We may also initialize it randomly. > > I tried to keep the tips ordered to follow the learning curve. The > first is a welcome message, the second a trivial statement > presenting M-x tla-inventory & friends, while the last ones talk > about smerge-mode, bug reporting, ... so, I don't think this is a > good idea do display this randomly. Ah, I did not realize this ordering, with this it makes perfect sense. Robert
