Changes

Jump to navigation Jump to search
120 bytes removed ,  14:24, 19 June 2020
document fixed highlighting
If you select a file that matches your search term, it will highlight the found matches with a yellow background. It also makes the page number of matching lines into a hyperlink to the next match in that file.
The highlighting is done separate from the search index, which means that it will sometimes find extra matches. For example, if you search for <code>def</code>, you would not see all the thousands of hits for <code>\def</code> in the file list on the left. But if you click on a particular file, the syntax highlighter will highlight all of the <code>def</code> substrings it finds in the entire file. Sometime in the future, I will try to limit the highlighter to only highlight lines that are actually in the match liston any matching line.
= Linking from the wiki =

Navigation menu