![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjmPqyb1zY1mEY7JnT6euLYN4YkHVrtTX1QmlO8MR0WVE4WJJIylsGeTLYr8tqVLJS1qeBgmEoqe6n3LkgSopyr7I7AkKWlJyeOVpukT3RWJnWHOBIji3ZjM3hvFWRAbx_v9lrByqIetDU/s1600/folded.gif)
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.