[pgadmin-hackers] pgAdmin III commit: Fix frmOptions vertical size

Fix frmOptions vertical size The last widget of the "Query tool" tab wasn't visible. You had to change the size of the dialog to see and change the contents of this widget. Branch -- master Details --- http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=ec951e4a7ccbefe5faa6680

[pgadmin-hackers] pgAdmin III commit: Fix frmOptions vertical size

Fix frmOptions vertical size The last widget of the "Query tool" tab wasn't visible. You had to change the size of the dialog to see and change the contents of this widget. Branch -- REL-1_12_0_PATCHES Details --- http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=987f502a649