diff etc/grep.txt @ 67428:9e33a6897729

(compare-windows-highlight): Change overlay priority from 1 to 1000.
author Juri Linkov <juri@jurta.org>
date Fri, 09 Dec 2005 09:48:36 +0000
parents 4fc385f4c685
children 3681678d3d86
line wrap: on
line diff