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!
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!