Re: [DrJava] Comments from the people in France

> In the interactions window it would be great if we could have, by the
> right side, a toolbar with:
>   - a button to save the content of the interaction window
>   - a button to load a previously saved interaction sequence (...)
>   - a button to kill the last command (this is extremely useful when a
> student makes an endless loop... and believe me : they do ;) )
>   - a button to reset all interactions
>   - when ESC is pressed it would be great if the current line was
> emptied (eg. if you browse the history with up and down arrows you
> cannot escape it and go back to an empty line)

It wouldn't be too hard to add a toolbar there, and we've already got 
buttons for aborting and resetting the interactions.  Saving and loading 
would be nice-- I don't imagine it being too difficult, though we'd need 
a mechanism to feed the input into the pane.  Probably a good small 
feature project.


> For the top toolbar:
>   - the 'Compile' button could use an icon like others
>   - A run button (icon = gears) that launches the active file would be great

Already have the compile button.  Do we want a run command separate from 
the interactions?


> For the edition area:
>   - line numbers (they maybe useful for exceptions)
>   - selection on double clicks :  if I have in my code the text
> "my_variable.getValue()" and I double click on variable, the editor
> selects "variable.getValue" which is not the behavior I was expecting. I
> was expecting "my_variable" to be selected.

Line numbers are on their way (right Jim?).  And I agree with the double 
click selection-- I've run into that plenty of times.  Is there a way to 
set selection delimiters in a JEditorPane or an EditorKit?


> File Menu:
>   - at the end of this menu it would be nice to have the 4 last files opened

Another nifty feature for a small project...


> Detail: IMHO 'Previous document' and 'Next document' buttons or menu
> items are not very useful. They are redundant with the list of open
> files. Be careful not to add options that will make your interface too
> complex while not adding much usability.

The original reason for the menu items was to publicize the keyboard 
shortcuts (ctrl-, and ctrl-.).  By the way, I originally wanted to use 
something like ctrl-tab or ctrl-arrows, but these are caught by window 
managers or java and are used for other things.  I guess the 
configurability project can address this some...  Anyway, I think it's 
worth keeping the menu items for now, and definitely the toolbar buttons.

Charlie