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

r2661:595fc3b9
r6723:f581afa2
Show More
plugins.mk
21 lines | 241 B | text/x-makefile | MakefileLexer
%.plugin::
rm -rf dist/$(notdir $@)
rm -rf build dist && \
python setup.py py2app -s
%.py:
@echo "test -f $@"
@test -f %@
%.nib:
@echo "test -f $@"
@test -f %@
.DEFAULT_GOAL := all
.PHONY : all clean
clean :
rm -rf build dist