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=987f502a649046bcc2d250e09920ad308a9c0c10
Modified Files
--------------
CHANGELOG | 1 +
pgadmin/ui/frmOptions.xrc | 6 +++---
pgadmin/ui/xrcDialogs.cpp | 4 ++--
3 files changed, 6 insertions(+), 5 deletions(-)