[DrJava] Status bar (was Re: More info-space)

[Brian S. <bs...@bs...>]

Jim:

What you bring up fits nicely with what Charlie and I were talking about
on Friday, as he is in the middle of creating a toolbar and status bar in
DrJava. The line number info belongs in the status bar. But, as you say,
it seems nasty to have to dig into the UI code to deal with this, as it's
really something that should be kept out of the UI (except for the actual
display on the #).

The answer that Charlie and I talked about is creating a StatusModel,
which would be contained by the GlobalModel. The model would keep the
status object updated and would fire event(s) when the status changed.
The events would allow the UI to know when to update the status bar. The
StatusModel would contain, at least, line/column number and the current
file name. (This would, of course, be subject to later extension.) Another
possibility would be a "status" section, which would say "Compiling",
"Running", or be empty, based on what's going on.

What does everyone think? If this seems reasonable, we should talk maybe
tomorrow about how to actually get this done!

-brian