##// END OF EJS Templates
Fix bug where the history wasn't correctly being set per-profile with...
Fix bug where the history wasn't correctly being set per-profile with new-style profiles (old bug), and the profile flag in the options structure was being lost. Incidentally, this may also have fixed a bug with logfile replay reported by Joahn Cohen-Tanugi on the list. Will need further confirmation from him though.

File last commit:

r736:d53b34f4
r1230:2b2eee3c
Show More
.hgignore
18 lines | 161 B | text/plain | TextLexer
syntax: glob
*~
*.tmp
*.pyc
*.bak
*.tgz
*.org
*.rej
.svn/
.bzr/
.settings/
.project
*.diff
IPython_crash_report.txt
syntax: regexp
.*\#.*\#$