akuhn/eclipse-repl — pull request #1 by Jaxsun (2012-11-16 22:17:50+00:00)
Title: Basic command history implementation for REPL

This is mostly a guess at how I would expect such a history to behave
without doing any research

* records commands as they are submitted
* skips recording commands if they were selected directly from the
history
* resets history index when a command is modified

it's pretty hacky overall but oh well