Fix issue #214 : Statistics window - hide filter mapper statistics unless checkbox is checked (off by default)

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