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
Fix issue with resizing the zoom box width - follow-up of #2816 #3258
Fix issue with resizing the zoom box width - follow-up of #2816 #3258
Conversation
From: Bot.io (Windows)ReceivedCommand cmd_preview from @Snuffleupagus received. Current queue size: 0 Live output at: http://107.22.172.223:8877/032ce762fd79697/output.txt |
From: Bot.io (Windows)SuccessFull output at http://107.22.172.223:8877/032ce762fd79697/output.txt Total script time: 0.33 mins Published |
@Snuffleupagus: that's funny, I mentioned this yesterday in another issue: #3252. Great that you've solved this; means that issue is also partly solved. :) |
To make it easier to maintain the code, I replaced the parameters controlling the width of the zoom box with constants placed at the top of /botio-windows preview |
From: Bot.io (Windows)ReceivedCommand cmd_preview from @Snuffleupagus received. Current queue size: 0 Live output at: http://107.22.172.223:8877/7d739d47709c53c/output.txt |
From: Bot.io (Windows)SuccessFull output at http://107.22.172.223:8877/7d739d47709c53c/output.txt Total script time: 0.35 mins Published |
@timvandermeij This PR doesn't really change anything with regards to the current resizing of the zoom box, it just fixes a small bug and refactors some of the code. So I don't really understand how this PR is to blame!? Also, I think that I solved most of these overlap issues in my patches for #2792. That said, in the Dutch l10n the zoom box is so huge, that these changes probably won't help completely. The problem is that if we change this to work perfectly in Dutch, it would look bad in all (or almost all) other languages since it would introduce a lot of wasted space in the toolbar. Ninja edit: I just tried the latest Firefox extension from #2792, and it's almost perfect even in Dutch! |
@Snuffleupagus: I just assumed that this was related to this PR, but that was wrong I guess. There is not really a way to make the text smaller. However, it does indeed work perfectly fine in #2792, so all issues will be resolved if both PRs land. Thank you for your explanation! :) |
Fix issue with resizing the zoom box width - follow-up of #2816
thank you |
This fixes an issue with the automatic resizing of the zoom box width.
Currently, if the viewer is small enough that the zoom box isn't visible on load, the zoom box resizing doesn't work. This means that if the viewer is then enlarged, it will look like this:
This PR fixes this, so that the zoom box will only be resized on load when it's actually visible.