##// 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 / process
__init__.py Loading ...
killableprocess.py Loading ...
pipedprocess.py Loading ...
winprocess.py Loading ...