7 Commits

Author	SHA1	Message	Date
Stefan Monnier	05dcc52533	Re-indent.	2001-10-26 20:11:25 +00:00
Gerd Moellmann	b0fa1513a6	(zone-pgm-stress): Use unwind-protect to make sure ... the mode-line face is restored. Fix several bugs.	2001-08-03 12:28:18 +00:00
Pavel Janík	60370d4073	Some fixes to follow coding conventions.	2001-07-15 19:53:53 +00:00
Thien-Thi Nguyen	930baf4786	(zone-timer, zone-wc-tbl): Rework ... these vars as symbol properties. (zone, zone-when-idle, zone-leave-me-alone, zone-pgm-whack-chars): Use new symbol properties.	2000-10-10 01:59:17 +00:00
Eli Zaretskii	f244674ca5	(zone): Discard any pending input before running ... the randomly-chosen pgm.	2000-08-07 07:50:13 +00:00
Eli Zaretskii	2e78d4abe0	(zone, zone-pgm-stress): Don't use window-system.	2000-08-04 12:21:12 +00:00
Gerd Moellmann	abb2db1cf3	*** empty log message ***	2000-08-02 21:29:36 +00:00