[DrJava] Compiler Error Buttons

[Charles R. <creis@u.washington.edu>]

Hey--
   I just noticed the new next/prev buttons in the compiler error 
panel-- very nice!  They'll be very useful for dealing with lots of 
errors.  It might be good to make them disabled if there aren't any 
errors (or any more in one direction), and they'd be useful on the Test 
tab too.

   The only other thing I noticed is that it forces the tabbed pane to 
be a little taller than it needs to be (ie. there's some space between 
the buttons and the highlight source checkbox that you can't get rid 
of).  Any idea why?

Charlie