#10 isearch enhancements

Gesloten

1 jaar geleden werd geopend door nuclearkev · 1 opmerkingen

when you've isearched and isearch again, you should be able to edit the search text
isearch quits sometimes

can't reproduce the latter, so I'll close it for now.

Kevin "The Nuclear" Bloom verwees naar dit probleem vanuit een commit 1 jaar geleden'

Closes #10

nuclearkev gesloten om 1 jaar geleden

Sign in to join this conversation.

bug

difficulty: easy

enhancement

1.1

Kevin "The Nuclear" Bloom

1 deelnemers