Chronological Thread 

< Chronological >      < Thread >

---

Hi,

Selection and replacement
------------------------------------

I was wondering why TeXmacs __adds__ text when you type and some text is
selected, instead of __substituting__. It is strange, most word processors
and editors subsitute the selected text with the typed/pasted one.

I think this is a very universal feature of text interfaces that should be
preserved in TeXmacs.


Something completely unrelated: macro evaluation triggered by <enter> or
<spacebar>
----------------------------------------------

Does anybody know if it would break something to make TeXmacs evaluate macros
by just pressing the space bar at the end (now pressing the enter key is the
default behaviour)? I don't know of any macros with spaces inside, so it
seems safe to me to do so.
I believe that using the spacebar is more natural in the flow of
touch-typing. Please, tell me if I'm wrong. Anyway, I would be happy if
_both_ keys were allowed, I don't have anything agains <enter>.

TIA,

--
álvaro.tejero.cantero
alqua.com, la red en estudio

---

• Selection and replacement, macro expansion, Álvaro Tejero Cantero, 02/25/2002
  • Re: Selection and replacement, macro expansion, Jason Dagit, 02/25/2002
    • Re: Selection and replacement, macro expansion, Álvaro Tejero Cantero, 02/25/2002
      • owerwrite mode, Stephane Payrard, 02/25/2002
      • Re: Selection and replacement, macro expansion, Joris van der Hoeven, 02/25/2002
        • Re: Selection and replacement, macro expansion, Michael John Downes, 02/27/2002
      • Re: Selection and replacement, macro expansion, David Allouche, 02/25/2002
      • Re: Selection and replacement, macro expansion, David Allouche, 02/25/2002
  • Re: Selection and replacement, macro expansion, David Allouche, 02/25/2002

---

Archive powered by MHonArc 2.6.19.