Some REPL history improvements

[guv]

I made some small changes to the REPL history:

• Namespace switching comments are not included in the REPL history anymore.
• Preferences for REPL history: (1) maximum history size and (2) persistence schedule

[guv]

Oh, github deleted your comments when I pushed the rebased branch forcefully. :/
I fixed the function naming and removed the redundant javadoc.

To your last comment:
This branch does not change the way "quiet mode" and "non-quiet mode" work:
In the REPL the namespace switching is displayed in "non-quiet mode" but it is not logged to the REPL history anymore.
There is no use writing those comments to the history, is there?
On the contrary it is pretty annoying to encounter multiple comments when browsing back through the history.

[laurentpetit]

That's right !

Le dimanche 13 janvier 2013, Gunnar Völkel a écrit :

Oh, github deleted your comments when I pushed the rebased branch
forcefully. :/
I fixed the function naming and removed the redundant javadoc.

To your last comment:
This branch does not change the way "quiet mode" and "non-quiet mode" work:
In the REPL the namespace switching is displayed in "non-quiet mode" but
it is not logged to the REPL history anymore.
There is no use writing those comments to the history, is there?
On the contrary it is pretty annoying to encounter multiple comments when
browsing back through the history.

—
Reply to this email directly or view it on GitHubhttps://github.com//pull/20#issuecomment-12194276.

[guv]

Did I accidental change that?

[guv]

I rebased this branch to the current ccw master.

[laurentpetit]

manually integrated