- Add Options menu and options Defaults·
- Fix panned widget hiding connections from left while shrinking.