##// END OF EJS Templates
Merge pull request #11014 from ghost/make-prompt-tookit-history-search-configurable...
Merge pull request #11014 from ghost/make-prompt-tookit-history-search-configurable making prompt_tolkit history search configurable
Min RK -
r24148:b65d977c merge
Show More
Name Size Modified Last Commit Author
/ examples / IPython Kernel / gui
gui-glut.py Loading ...
gui-gtk.py Loading ...
gui-gtk3.py Loading ...
gui-pyglet.py Loading ...
gui-qt.py Loading ...
gui-tk.py Loading ...
gui-wx.py Loading ...