First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Idea: Color cursor based on whether last action changed document.


Chronological Thread 
  • From: Amir Michail <address@hidden>
  • To: texmacs-users <address@hidden>
  • Subject: Idea: Color cursor based on whether last action changed document.
  • Date: Sun, 11 Apr 2021 18:54:54 -0400
Hello,

In TeXmacs, the backspace key may or may not change the document. In some
contexts, it just moves the cursor.

For example, consider the following where the backspace key acts
(surprisingly) like cursor left.

• a
• b
• c
• d

Try positioning the cursor just after the focus box for everything. At that
point, pressing the backspace key repeatedly would do the same thing as
pressing the cursor left key repeatedly.

Since this can be confusing, why not use a pink cursor if the last action was
a cursor movement and a red cursor if the last action changed the document?

Amir


  • Idea: Color cursor based on whether last action changed document., Amir Michail, 04/12/2021

Archive powered by MHonArc 2.6.19.

Top of page