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

Text archives Help


[Q] case insensitive search


Chronological Thread 
  • From: Leo <address@hidden>
  • To: address@hidden
  • Subject: [Q] case insensitive search
  • Date: Sat, 22 Feb 2003 19:45:41 -0500
Hi everybody,

I am using TeXmacs-1.0.1 and
noticed that incremental search invoked by means of
Ctrl-s performs case sensitive search.

How can one search in case-insensitive way??

Thanks for the help
--Leo--



  • [Q] case insensitive search, Leo, 02/23/2003

Archive powered by MHonArc 2.6.19.

Top of page