$Id: Bugs,v 2.3 1994/08/29 18:14:44 billr Exp $

1) If the wpaint.c file is compiled with optimization then the display
   does not get properly refreshed. If an explicit WIN_REPAINT is
   inserted in the code or if optimiztion is not used for this file
   then it all works OK. [This is with the standard Sun cc compiler.]


	Bill Randle
	Tektronix, Inc.
	billr@saab.CNA.TEK.COM
	August 25, 1994
