diff src/indent.c @ 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 50bb3d12f1b1
children 922696f363b0 dc002877ce12 4ef881a120fe
line wrap: on
line diff