Am .08.2014, 11:34 Uhr, schrieb Dave Page <dp...@pgadmin.org>:
It should always be enabled, if the main window is the active one - it likely won't be enabled if the query tool or some other window is active.
That is indeed the case. Bit weird when you're trying to set options about the editor in the editor but I guess that's the way wxWidgets works.
BTW. the documentation (both 1.18.1 and dev) have links to the "beta website" which doesn't exist.
Charlie -- Charlie Clark Managing Director Clark Consulting & Research German Office Kronenstr. 27a Düsseldorf D- 40217 Tel: +49-211-600-3657 Mobile: +49-178-782-6226 -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
