Avatar for Username

Search Support

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

This thread was archived. Please ask a new question if you need help.

Ctrl + mouse wheel up or down does not match Ctrl + (+ or -)

  • 4 majibu
  • 1 ana tatizo hili
  • 12 views
  • Last reply by cor-el

Lady Aleena
Lady Aleena
more options

I have toolkit.zoomManager.zoomValues set to .3,.33,.35,.4,.45,.5,.55,.6,.65,.67,.7,.75,.8,.85,.9,.95,1,1.1,1.2,1.33,1.5,1.7,2,2.4,3

Those values are not honored by the ctrl + mouse wheel zoom. The mouse wheel only uses increments of 10%. So how do I fix it so the mouse wheel zoom honors toolkit.zoomManager.zoomValues?

I have toolkit.zoomManager.zoomValues set to .3,.33,.35,.4,.45,.5,.55,.6,.65,.67,.7,.75,.8,.85,.9,.95,1,1.1,1.2,1.33,1.5,1.7,2,2.4,3 Those values are not honored by the ctrl + mouse wheel zoom. The mouse wheel only uses increments of 10%. So how do I fix it so the mouse wheel zoom honors toolkit.zoomManager.zoomValues?

All Replies (4)

TyDraniu
TyDraniu
  • Top 25 Contributor
more options

Right, this is bug 1138704.

cor-el
cor-el
  • Moderator
  • Top 10 Contributor
more options

Zooming by rotating the mouse wheel with Ctrl pressed adjusts the zoom in 10% changes starting with the current zoom value.

Lady Aleena
Lady Aleena Mwenye swali
more options

cor-el, I know that already. I want to fix it, but since it is a bug that hasn't been resolved in 6 years, I have no hope for a fix now.

cor-el
cor-el
  • Moderator
  • Top 10 Contributor
more options

This is not a bug, but is how they choose to design this zoom feature. You can inspect the source code.

This allows to zoom a page smoothly with the mouse wheel as it is not easy to select a specific zoom value when you have a lot of possible values and if have a coarse scale with only a few zoom values then it can suddenly jump. If you want finer control then you can use the keyboard.