On Tuesday, May 18, 2004 at 15:15:49, Matthieu Moy wrote:
> Quoting Robert Widhopf-Fenk <[EMAIL PROTECTED]>:
> 
> > > In xtla ?g is for refresh, as you know.
> > 
> > When running only xtla the user will not need "g", or am I
> > wrong?  Maybe we could free "g". 
> 
> There is at least one case when you may need "g" : To update the
> list of revision of one of your partners.
> 
> Another one is in the *tla-changes* buffer. I plan to automatically
> add "M file" lines at the beginning of the buffer when you save a
> file, but it would be too costly to update the diff part on
> saving. So, "g" is also necessary here.
> 
> Anyway, as a user, I like to have the control on the tools I use,
> so, I consider refresh as a required feature.

I am not about to drop it, just wondered if the key binding
should be modified ...  

Robert

Reply via email to