Viewing all changes in revision 1839.
- Committer: Adam Reichold
- Date: 2015-01-24 16:32:08 UTC
- Revision ID: adam.reichold@t-online.de-20150124163208-1zzjw9tun3e4igiy
Try to decouple highlighted matched text from the matching itself done by the backends.
expand all
collapse all
added
removed
