##// END OF EJS Templates
Make pager resizable, and remember size......
Make pager resizable, and remember size... Resizing to small collapse the pager keeping the size to at least 20% height (trying to) resize a collapsed pager to more than 10% "expand" it. Pager can remember it size when toggling by clicking.
Matthias BUSSONNIER -
r6723:f581afa2
Show More
Name Size Modified Last Commit Author
/ IPython / deathrow / oldfrontend / wx
__init__.py Loading ...
console_widget.py Loading ...
ipythonx.py Loading ...
wx_frontend.py Loading ...