Fix issue #189 : Save wrap width and spacing between sessions, add reset graph layout menu item

git-svn-id: http://graph-studio-next.googlecode.com/svn/trunk@278 c2f33eb2-41b2-391d-4cb4-d9d0608729ba
Fix issue #179 : Give existing property window the focus if same properties are shown again.


git-svn-id: http://graph-studio-next.googlecode.com/svn/trunk@279 c2f33eb2-41b2-391d-4cb4-d9d0608729ba
Fix issue #194 : Title bar of pin properties window is now <filter name>/<pin name> - Properties


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