Hi Matthieu!

> 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 second the need for ?g.

-- 
Stefan.

Reply via email to