Menu

#505 not inserting symbols into find

After Lurch 1.0
open
nobody
None
2016-10-26
2016-10-26
No

When the 'find' window is selected, insertion of special symbols via the popup menus (for example, the symbol for the set of natural numbers) is inserted into the prior insertion point within the body of the document, rather than in the 'find' textbox, as expected.
The workaround is to copy and paste what you want to find from the document into the find window, a task which requires finding or creating such a string as a preliminary step.

Discussion


Log in to post a comment.

MongoDB Logo MongoDB