mailing-list for TeXmacs Users

[Norbert Nemec <address@hidden>]

Indeed, this behavior is still not standard-conforming. Unfortunately, 
it is non-trivial to address these issues, as you always have to keep in 
mind the various modes, GUIs and preferences. The ultimate goal is 
standard conformance, but that is still some way to go...


El.douwen wrote:
> i everyone
> a last question about selections
> when i select something, and then type a key, i am used that all the 
> selection is replaced by the key i have pressed
> to gain efficience, i would like to know if it would be possible to 
> adjust a parameter in texmacs, so that it also works this way ?
> thaks
> vincent