Disable pager by default
commitfc437783f990c03519821ccfb655cd637db003dc
authorCarlos R. Mafra <crmafra@gmail.com>
Sat, 25 Jul 2015 17:23:46 +0000 (25 14:23 -0300)
committerCarlos R. Mafra <crmafra@gmail.com>
Sat, 25 Jul 2015 20:45:28 +0000 (25 17:45 -0300)
tree5f9fda598bd2ba38cc32702db0dcccb13e43c62f
parentfee129b18179b467f3f248857712ef0fe5bc5140
Disable pager by default

New features like this one should be disabled by default.
WPrefs.app/Expert.c
src/WindowMaker.h
src/defaults.c
src/event.c
src/workspace.c