Comment 1 for bug 1809675

Revision history for this message
Dave Nadler (drn-nadler) wrote :

Update: Actually, the history is produced and shown in a separate 'History' tab. But finding that tab is not obvious! And if you activate the History tab and request history, again Eclipse jumps to the (not-helpful) console tab. Behavior should be: 1) run the history and then 2) activate the History tab!