ssh-agent and ~/.ssh/config

Hi All.

ssh has this:

#cat ~/.ssh/config

Host host-gate
Hostname www.mysite.com #for example 155.155.155.155 (ext ip)
Port 22
User root
Host host-in
Hostname 192.168.1.100 # (int ip for example)
Port 22
User root
ProxyCommand ssh host-gate nc -w 180 %h %p

and now We can open console directrly to host-in
#ssh host-in
root(at)host-in # hostname
host-in

so we open host-in through host-gate

of course now we can do this:
#ssh -L5432:localhost:5432 host-in

and connect pgadmin to localhost on port 5432, but...
is it possibe to add functionaly to pgadmin for use ssh config file
(~/.ssh/config) and ssh-agent?, this is will be very good

Eugen.