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(-)