comparison configure @ 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 4bae97ce3ac6
children 5a10f80c77e7 5a45becb5728 e6fdae9180d4
comparison
equal deleted inserted replaced
77471:be6b2b081602 77472:70d58d56b53b