I was looking at this interesting video:
 | |
and it remarks that the caret is more visible if blinking, while should not blink when somebody is typing. I think this could be a very interesting addition to TeXmacs. It is indeed a bit hard to find the caret sometimes. Joris implemented a trick which makes the caret bigger if one shakes the mouse, but I guess having it to blink when TeXmacs is idle is better.
Any thoughts?
Max