-
Notifications
You must be signed in to change notification settings - Fork 10k
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 the rendering of the different separators we've in the UI #18761
Conversation
/botio-linux preview |
From: Bot.io (Linux m4)ReceivedCommand cmd_preview from @calixteman received. Current queue size: 0 Live output at: http://54.241.84.105:8877/2d3cc2f33e09aa1/output.txt |
From: Bot.io (Linux m4)SuccessFull output at http://54.241.84.105:8877/2d3cc2f33e09aa1/output.txt Total script time: 1.01 mins Published |
@Snuffleupagus, out of curiosity, do you observe the same kind of differences before/after ? |
Currently, the css for a separator is something like { height: 1px; background-color: ... }. But its rendering depends on its position on the screen. So instead of setting the height to 1px, we just set something like { border-top: 1px solid ...; }, this way the final rendering is exactly the same for all the separators.
1bb4dc0
to
b29278e
Compare
/botio-linux preview |
From: Bot.io (Linux m4)ReceivedCommand cmd_preview from @Snuffleupagus received. Current queue size: 0 Live output at: http://54.241.84.105:8877/76db42fff0d82dd/output.txt |
From: Bot.io (Linux m4)SuccessFull output at http://54.241.84.105:8877/76db42fff0d82dd/output.txt Total script time: 1.02 mins Published |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I've compared https://mozilla.github.io/pdf.js/web/viewer.html and #18761 (comment) side-by-side, and everything looks identical to my eye.
r=me, thank you.
Currently, the css for a separator is something like { height: 1px; background-color: ... }. But its rendering depends on its position on the screen.
So instead of setting the height to 1px, we just set something like { border-top: 1px solid ...; }, this way the final rendering is exactly the same for all the separators.