Fix crufty problem with highlighting -- indentation was highlighted
authorChris Hanson <org/chris-hanson/cph>
Tue, 26 Oct 1993 01:12:23 +0000 (01:12 +0000)
committerChris Hanson <org/chris-hanson/cph>
Tue, 26 Oct 1993 01:12:23 +0000 (01:12 +0000)
commit019dcecf7f83cd26af1a2fcad0249105d80e233e
tree815edfb894132d50051b5c2dbc592a373c5ce0b3
parentf7d2abf33f5b3bacaab0078dae6cf51713b8e077
Fix crufty problem with highlighting -- indentation was highlighted
instead of text!
v7/src/edwin/debug.scm