##// 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.

File last commit:

r5390:c82649ea
r6723:f581afa2
Show More
__init__.py
13 lines | 585 B | text/x-python | PythonLexer
Brian E Granger
This is a manual merge of certain things in the ipython1-dev branch, revision 46, into the main ...
r1234 # encoding: utf-8
__docformat__ = "restructuredtext en"
#-------------------------------------------------------------------------------
Matthias BUSSONNIER
update copyright to 2011/20xx-2011...
r5390 # Copyright (C) 2008-2011 The IPython Development Team
Brian E Granger
This is a manual merge of certain things in the ipython1-dev branch, revision 46, into the main ...
r1234 #
# Distributed under the terms of the BSD License. The full license is in
# the file COPYING, distributed as part of this software.
#-------------------------------------------------------------------------------
#-------------------------------------------------------------------------------
# Imports
#-------------------------------------------------------------------------------