Issue #132: re-enable click-to-zoom again.

- double clicking in the signal diagram zooms in;
- use alt or shift + double click to zoom out.