[ jEdit-users ] Error List update?

[Joe L. <jo...@la...>]

Is there any way to get the Error List to update through a key command? I 
am unable to find a command to do this. It only updates when I save.

I am editing PHP.

Thanks,

--
Joe Laffey                |        Visual Effects for Film and Video
LAFFEY Computer Imaging   |        ---------------------------------
St. Louis, MO             |        Show Reel at http://LAFFEY.tv/?s
USA                       |        ---------------------------------
--------------------------------------------------------------------------
Mail here will be rejected --> "Sigfried Trap" <s_...@la...>