Attachments (1)
Change History (3)
by , 21 years ago
comment:1 by , 21 years ago
Keywords: | patch ui added |
---|---|
Summary: | Unsucessful search leaves the cursor at the end of the document → Unsuccessful search leaves the cursor at the end of the document |
Note:
See TracTickets
for help on using tickets.
patch to search code (as posted to the list)