##// END OF EJS Templates
History refactored and saved to json file...
History refactored and saved to json file - stopped using reading and writing history. history saved to json file and terminal readline data is populated from it - removed duplicate attributes of history manager being stored in shell - only kept db as a property (it was widely used) - more refactoring of history manager - stopped using InputList (errorprone semantics) for history and switched to regular lists - added test
Satrajit Ghosh -
r3240:983c64e0
Show More
Name Size Modified Last Commit Author
/ IPython / deathrow / oldfrontend / cocoa / plugin
CocoaFrontendPlugin.xcodeproj
IPythonCocoaFrontendLoader.py Loading ...
Makefile Loading ...
Placeholder (Do Not Use)-Info.plist Loading ...
plugins.mk Loading ...
setup.py Loading ...