search

Pistos / diakonos

Diakonos is a console text editor for the masses.
https://git.sr.ht/~pistos/diakonos
Other
137 stars 11 forks source link

Wrong number of matches reported when searching within a selection #45

Closed Pistos closed 10 years ago

Pistos commented 10 years ago

Fixed by 20baab464d .