ok, that is helpful, but still prefer the option to choose font
as in PgAdmin III. See attached.
IOW: STOP taking away features that were good in PgAdmin III and
STOP making users have to change the way they work. That is a
very bad policy!
Melvin Davidson 🎸 I reserve the right to fantasize. Whether or not you wish to share my fantasy is entirely up to you. www.youtube.com/unusedhero/videos Folk Alley - All Folk - 24 Hours a day www.folkalley.com