search

science-docs / Docdown

Docdown is a tool to simplify the process of creating a scientific work by combining features of common TeX editors with markdown
MIT License
6 stars 1 forks source link

Mark the previously written text in the search bar #16

Closed FForthmann closed 4 years ago

FForthmann commented 4 years ago

When I press Ctrl + F twice in a row to search something in my markdown file, I always write after the previously typed search term.

It would be great if when activating the search bar the previously written one would be marked so that the user can decide whether he wants to delete it quickly or keep it.

grafik

msujew commented 4 years ago

Added with 3ecf9fa.