Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WebEngine (Chromium) renderer should allow user to set zoom level #400

Closed
N0rbert opened this issue Oct 13, 2018 · 4 comments
Closed

WebEngine (Chromium) renderer should allow user to set zoom level #400

N0rbert opened this issue Oct 13, 2018 · 4 comments
Milestone

Comments

@N0rbert
Copy link

N0rbert commented Oct 13, 2018

I need to use WebEngine (Chromium) renderer to get inline math shown.
But this previewer currently does not support zooming.
Please add zoom functionality to the WebEngine (Chromium) renderer preview.
Currently it is difficult to read text on FullHD display.

Possible workaround is to specify font size using Edit→Change preview font as 16 or bigger. But this does not replace zooming.

Note: I'm using ReText 7.0.4 (installed from pip3) on Ubuntu 16.04 LTS MATE.

@mitya57
Copy link
Member

mitya57 commented Oct 17, 2018

Why do you say that changing font does not replace zooming? What should be the difference?

In editor you can use Ctrl + mouse wheel to zoom in/out. But that works based on font size. I can implement the same in WebEngine preview if that helps you.

@N0rbert
Copy link
Author

N0rbert commented Oct 17, 2018

Sometimes real-time zooming by mouse-wheel is very useful. For example to focus attention on some part of the text.

zoomin

So it would be faster than change font-size every-time.

If it is possible, please implement zoom for WebEngine when you'll have time.

@mitya57 mitya57 added this to the ReText 8.0 milestone Nov 12, 2019
@mitya57 mitya57 closed this as completed in f843ea1 Apr 3, 2020
@mitya57
Copy link
Member

mitya57 commented Apr 3, 2020

Fixed in master, please test if you can.

@N0rbert
Copy link
Author

N0rbert commented Apr 3, 2020

It works, thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants