Zoom In/Zoom Out + Navigation tooltips

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

712 stars 123 forks source link

Zoom In/Zoom Out + Navigation tooltips #120

Closed ronchon65 closed 1 year ago

ronchon65 commented 4 years ago

Electrum Analyzer 2.0.0.202006030639

Concerning the graph display tool:

When trying to zoom in or zoom out a graph (popup menu), right clicking any point in the left or right window only affects the right window. Is it really the expected behavior ?

The tooltips associated to the right and left navigation arrows are inverted (a bit confusing).

nmacedo commented 1 year ago

Both issues are fixed as of 6.1.