Blog about (Web-) Programming, Graphics and Games.
12.06.2017
26.01.2017
Text search with a folding editor
Implemented text search for the web folding editor. Similar to the advantage of folding editors in general, that an overview of a whole document can be given while details are blended out (folded), with text search an overview of lots or all text-occurences is visible at once. In Detail finding text works as follows:
- Highlight all visible occurences.
- Highlight closed folders with a number of hidden occurences inside.
- Successively point the cursor to different occurences, possibly open folders for hidden occurences and closing them again if next occurence is elsewhere.
Abonnieren
Posts (Atom)