W3C home > Mailing lists > Public > www-jigsaw@w3.org > March to April 1998

how to do a reload

From: Lei Gao <lgao@cs.utexas.edu>
Date: Sat, 4 Apr 1998 13:12:48 -0600 (CST)
To: jigsaw mailing list <www-jigsaw@w3.org>
Message-ID: <Pine.LNX.3.96.980404131042.19202E-100000@fantail.cs.utexas.edu>
if I change a class of certain resource, how can I tell jigsaw to reload
the recompiled class without restarting the browser?

Thanks.

Sincerely,


		
			$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$
		  	$                              $
			$            Gao, Lei          $
			$   Email: lgao@cs.utexas.edu  $
			$      Tel: (512)916-8015      $
		        $                              $
			$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$


		     CHICKEN AND EGGS, WHICH CAME OUT FIRST? 
Received on Saturday, 4 April 1998 14:12:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:27 GMT