public inbox for [email protected]  

help / color / mirror / Atom feed

From: Ray O'Donnell <[email protected]>
To: Pgadmin-Support <[email protected]>
Subject: Server list on query tool workspace
Date: Sat, 5 Apr 2025 14:20:17 +0000
Message-ID: <010201960652e2a0-9a7a7e5e-79de-4955-abe6-820069f2205f-000000@eu-west-1.amazonses.com> (raw)

Hi all,

A small but annoying thing - in the query tool workspace, on the 
"Welcome" tab, servers in the "Existing server" drop-down list seem to 
be ordered randomly.... certainly they bear no resemblance to the neat 
alphabetical list in the default workspace tree-view. This is a 
particular pain when you have a lot of servers registered, as I do.

Can anything be done about this? This is one of those small 
quality-of-life things....

Thanks!

Ray.

-- 
Raymond O'Donnell // Galway // Ireland
[email protected]

view thread (4+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected]
  Subject: Re: Server list on query tool workspace
  In-Reply-To: <010201960652e2a0-9a7a7e5e-79de-4955-abe6-820069f2205f-000000@eu-west-1.amazonses.com>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox