Windows 10 reached EOS (end of support) on October 14, 2025. If you are on Windows 10, see this article.

Mozilla サポートの検索

サポート詐欺に注意してください。 私たちはあなたに通話やショートメッセージの送信、個人情報の共有を求めることはありません。疑わしい行為を見つけたら「迷惑行為を報告」からご報告ください。

詳しく学ぶ

このスレッドはアーカイブに保管されました。 必要であれば新たに質問してください。

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

  • 4 件の返信
  • 1 人がこの問題に困っています
  • 232 回表示
  • 最後の返信者: cor-el
  • アーカイブに保管済み

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?

すべての返信 (4)

Right, this is bug 1138704.

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

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.

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.