diff etc/SERVICE @ 69663:68644cbc6a00

(handle_one_xevent): Don't let key-press clear mouse face on in toolbar window if mouse-highlight is an integer.
author Kim F. Storm <storm@cua.dk>
date Fri, 24 Mar 2006 15:24:20 +0000
parents 695cf19ef79e
children 3681678d3d86 375f2633d815
line wrap: on
line diff