Zoom windows independently

[watusimoto]

If I have two windows open, is there any way to zoom one but not the other (using the ctrl+mouse wheel)? Zooming one seems to affect all windows.

I ask because I have two monitors with different pixel sizes, and what is comfortable to read on one is too small on the other.

Thanks!

[adzenith]

Ctrl+mousewheel sets the global font size. It’s possible to set the font size on a per-view basis, but you might have to write your own plugin to do so. You could probably then bind this plugin to the ctrl+mousewheel behaviour.

view.settings().set(“font_size”, 18) or whatever.