On Wed, Jul 18, 2012 at 1:50 PM, Vinicius Santos <[email protected]> wrote: > > Really. Your servers have very long names. This should happen only at lower > resolutions.
Not really. The panel you've used for the server name is fixed width. As I mentioned before, on some, if not all platforms, you can only have 1 variable width panel. That's one of the reasons we've avoided putting extra info in there before, that isn't a clearly defined width. > And if we put a configuration option? The user decides if he wants this > option or not. > > Or to put this information somewhere else, but where? It is somewhere else already. You can see it from the treeview - which is why I think it's redundant anyway. The fact that noone else has ever complained (that I can recall) also suggests it's not an issue for others. -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
