Zoom percentage value does not update when using `Ctrl` + `Mouse wheel`

As the title says, the bug is that the zoom percentage value in the bottom-right corner does not update when changing the zoom level using the `Ctrl` + `Mouse wheel` shortcut.
