comparison lisp/compare-w.el @ 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 fb2cad4cfb30
children 3bd95f4f2941 7beb78bc1f8e
comparison
equal deleted inserted replaced
67427:055cc88a4fd0 67428:9e33a6897729
341 (when compare-windows-highlight 341 (when compare-windows-highlight
342 (if compare-windows-overlay1 342 (if compare-windows-overlay1
343 (move-overlay compare-windows-overlay1 beg1 end1 b1) 343 (move-overlay compare-windows-overlay1 beg1 end1 b1)
344 (setq compare-windows-overlay1 (make-overlay beg1 end1 b1)) 344 (setq compare-windows-overlay1 (make-overlay beg1 end1 b1))
345 (overlay-put compare-windows-overlay1 'face 'compare-windows) 345 (overlay-put compare-windows-overlay1 'face 'compare-windows)
346 (overlay-put compare-windows-overlay1 'priority 1)) 346 (overlay-put compare-windows-overlay1 'priority 1000))
347 (overlay-put compare-windows-overlay1 'window w1) 347 (overlay-put compare-windows-overlay1 'window w1)
348 (if compare-windows-overlay2 348 (if compare-windows-overlay2
349 (move-overlay compare-windows-overlay2 beg2 end2 b2) 349 (move-overlay compare-windows-overlay2 beg2 end2 b2)
350 (setq compare-windows-overlay2 (make-overlay beg2 end2 b2)) 350 (setq compare-windows-overlay2 (make-overlay beg2 end2 b2))
351 (overlay-put compare-windows-overlay2 'face 'compare-windows) 351 (overlay-put compare-windows-overlay2 'face 'compare-windows)
352 (overlay-put compare-windows-overlay2 'priority 1)) 352 (overlay-put compare-windows-overlay2 'priority 1000))
353 (overlay-put compare-windows-overlay2 'window w2) 353 (overlay-put compare-windows-overlay2 'window w2)
354 ;; Remove highlighting before next command is executed 354 ;; Remove highlighting before next command is executed
355 (add-hook 'pre-command-hook 'compare-windows-dehighlight))) 355 (add-hook 'pre-command-hook 'compare-windows-dehighlight)))
356 356
357 (defun compare-windows-dehighlight () 357 (defun compare-windows-dehighlight ()