Fix issue #201 : Force filter box width to be large enough to fit longest row of pin label(s) + pin vertical spacing / 2

git-svn-id: http://graph-studio-next.googlecode.com/svn/trunk@289 c2f33eb2-41b2-391d-4cb4-d9d0608729ba