Remove unused rows per page config option. Branch ------ master
Details ------- http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=eb337cadcea8682266196983bd9f800c0eca4042 Modified Files -------------- web/pgadmin/tools/sqleditor/__init__.py | 12 ------------ .../tools/sqleditor/templates/sqleditor/js/sqleditor.js | 6 ------ 2 files changed, 18 deletions(-) -- Sent via pgadmin-hackers mailing list (pgadmin-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
