diff etc/DEVEL.HUMOR @ 77472:70d58d56b53b

(idlwave-shell-clear-all-bp): Don't re-query for each cleared BP. (idlwave-shell-clear-bp): Optionally skip BP query. (idlwave-shell-update-bp-overlays): Use set-window-margins instead of set-window-buffer, which incorrectly moves displayed region.
author J.D. Smith <jdsmith@as.arizona.edu>
date Tue, 24 Apr 2007 00:22:52 +0000
parents e24666dd27d1
children 30066e0fb3f5
line wrap: on
line diff