- From: Stephen Turner <S.R.E.Turner@statslab.cam.ac.uk>
- Date: Tue, 28 Nov 1995 09:12:52 +0000 (GMT)
- To: tm@rasips1.rasip.etf.hr (Mirsad Todorovac)
- Cc: www-html@w3.org, tm@rasips1.rasip.etf.hr
These are interesting ideas, and IMHO there may be a case for something like them. The things I wouldn't want to see implemented are the line numbers, unless it meant the nth line of the source (the nth line of the output changes every time I change my browser window size) and regexps (much as I use Unix myself, regexps seem designed to hinder rather than aid searching: let's stick to plain search strings). Another point about searching is that the same URL could then come out differently on different browsers if an <img alt> is used in HTML. -- Stephen R. E. Turner Stochastic Networks Group, Statistical Laboratory, University of Cambridge e-mail: sret1@cam.ac.uk WWW: http://www.statslab.cam.ac.uk/~sret1/home.html "I always keep one big file in case I run out of space." A colleague of mine
Received on Tuesday, 28 November 1995 04:12:44 UTC