Support #1054
CoCoAManual: improved search, or improved selection of "see also" pages
Description
I wanted to see the manual page for SetVerbosityLevel
, but also wanted to be lazy, so I typed:
?setv
This offered me a choice of 2 pages: SetVerbosityLevel
and NmzSetVerboseDefault
.
How can I get to the manual page I want without typing lots of letters? (namely at least erbosi
)?
Related issues
History
#1
Updated by John Abbott about 7 years ago
One possibility is to number the "see also" pages and offer a way to chose by number; for instance
?setv --> #1 NmzSetverboseLevel --> #2 SetVerbosityLevel ?2 --> manual page I want :-)
Another possibility would be to allow the search to say that the keyword must be the start of matched word: for instance
?setv --> see also 2 pages ? $setv --> unique match because "setv" must be at the start of a word, so @NmzSetv...@ does not match
Comments?
PS I was using cocoa5 in a terminal (with readline).
#2
Updated by John Abbott about 7 years ago
- Related to Feature #1021: CoCoA Manual: search should ignore multiple spaces added