Add new editor variable info-selection-key which implements
authorChris Hanson <org/chris-hanson/cph>
Wed, 6 Oct 1993 02:40:26 +0000 (02:40 +0000)
committerChris Hanson <org/chris-hanson/cph>
Wed, 6 Oct 1993 02:40:26 +0000 (02:40 +0000)
commit4f2f7f70832c973b4df669c579c701e9788930ab
tree79b37dce65936ac6ec2a31f2e96638e9b8e90546
parent2b92f78349e6da21a4183aeed012844fdef01d97
Add new editor variable info-selection-key which implements
mouse-sensitive, highlighted regions for selecting Info nodes and menu
items.
v7/src/edwin/edwin.pkg
v7/src/edwin/info.scm