diff man/xresources.texi @ 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 3723093a21fd
children dc2d5a6655a3 2d92f5c9d6ae
line wrap: on
line diff