Option for REPL view history size

[laurentpetit]

Original issue 342 created by laurentpetit on 2012-04-12T09:30:16.000Z:

The size of the REPL view history is said to be limited to 1000 entries.
That magic number should be replaced by an option in the REPL view preferences.

[laurentpetit]

Comment #1 originally posted by laurentpetit on 2012-12-29T05:48:10.000Z:

The fix to this one is included in the following pull request:

#20

[laurentpetit]

Comment #2 originally posted by laurentpetit on 2012-12-29T06:07:11.000Z:

Hello Gunnar,

I've commented to 2 commits related to the pull request.

Would you mind answering to them, and also at the same time (if you have to recreate the pull request), rebase on a newer commit of master?

I'd like to include the 2 REPL options in the next stable.

Thanks

[laurentpetit]

Comment #3 originally posted by laurentpetit on 2014-05-22T09:28:23.000Z:

<empty>

[laurentpetit]

Comment #4 originally posted by laurentpetit on 2014-06-26T20:23:09.000Z:

<empty>

[laurentpetit]

Comment #5 originally posted by laurentpetit on 2014-07-03T11:20:50.000Z:

They say patience is a virtue ... I've finally rebased, slightly compressed into one commit, and then integrated this pull request!

[laurentpetit]

Comment #6 originally posted by laurentpetit on 2014-07-03T11:21:11.000Z:

<empty>

[laurentpetit]

Comment #7 originally posted by laurentpetit on 2014-07-10T20:14:33.000Z:

<empty>