Am .08.2014, 11:34 Uhr, schrieb Dave Page <dpage@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