Zoom out shows the wrong percentage on the minimap.

[gintarasgraciovas]

Introduction

I'm experiencing an issue related to zooming out in my app. The same issue can be observed in this demo:
kitchensink

When zooming out the graph, it sometimes shows duplicate zoom percentages such as 20%, 30%, or 40%. Is there any way to fix this?

Steps to reproduce

1. Open Kitchensink demo project
2. Try to zoom in and zoom out graph
3. See that percentage value may be the same after two zoom operations performed

Restrictions & Constraints

No response

Does your question relate to JointJS or JointJS+. Select both if applicable.

JointJS, JointJS+

[kumilingus]

It happens because we use simply an <input type="range"/> with a step attribute set to 20 by default.

inputEl.step = 20;
inputEl.value = 99;
inputEl.value; // => '100'

The range can show 100 when the paper scale is set to 0.99.

You can change the step to 1 to overcome this.

{
    type: 'zoom-slider',
    name: 'zoom-slider',
    group: 'zoom',
    step: 1
},

It will result in the user being able to slide to any integer zoom level though.
Other option is to round the zoom levels when pinching.

I can imagine a feature request to allow the slider follow given steps but to show the real paper scale value when set externally.

How the other tools deal with this?

[gintarasgraciovas]

works for me, thanks :)