[horde] setting default mail server

[Lito A. Lampitoc]

how will i set the default mail server for my user? isnt it that
servers.php is only use for server's drop-down list? is there any more
file where I can set this? 
-- 
Lito A. Lampitoc		
Foundation for Communication Initiatives		phone:+63(2)8941345
CodeWAN Project					http://www.codewan.com.ph
--
Things which matter most must not be in the mercy of things which
 matter least" - Goethe.