Menu ▾ ▴

Commit [r5356]  Maximize  Restore  History

Working on fixing 3043905:

Pressing Ctrl-Z (Undo) Makes System.in Box Disappear

When switching from Definitions Pane to Input Box,
undo/redo isn't switched back to the Input Box, it
stays in the Def Pane. That's because the Input Box
gets focus, not the Interactions Pane, which is what
triggers the update right now.

mgricken 2010-08-12

Browse code at this revision

Parent: [r5355]

Child: [r5357]

changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB