Re: [DrJava] Line Enumeration

[Charles R. <cr...@ri...>]

Argh!  I've made some changes to line numbering, but I'm having trouble 
committing them at the moment (memory problems, editor issues).  I'm 
already late to practice, so I need to run.  I'll get them checked in 
once I get back...


Here's the email I was going to send out:

   I've started making some updates to the line numbering code, but 
mainly just in the UI for now-- I haven't gotten much into the code in 
DefDoc yet.  The creation and management of the field and listener is a 
little cleaner now, but it still doesn't work correctly, so I've 
commented out the code that displays it on the most recent commit.

To test the line numbering stuff, there's three lines you need to 
uncomment, all in MainFrame.  One is in the constructor, where it 
instantiates PositionListener.  The other two are in 
_createDefScrollPane, where it adds the caret listener and updates the 
display.

   I'm off to practice now, but I'll look more at the inner workings 
when I get back.

Charlie