This addresses the line height problems mentioned in #377 by changing scrollbars in the non-default themes.
Previously, they used the ::webkit-scrollbar selectors to create a custom scrollbar for both the REPL and CodeMirror windows. We've switched to using the color-scheme property, which is only affecting the color of the scrollbar and seems reasonably well-supported.
We have checked Firefox, Brave, Chrome and Safari and so far the worst effect is that in Safari when switching between themes, the scrollbar maintains its previous color until you click on it. I would argue this is a better issue than line height problems that prevent the REPL from being readable.
This addresses the line height problems mentioned in #377 by changing scrollbars in the non-default themes.
Previously, they used the
::webkit-scrollbar
selectors to create a custom scrollbar for both the REPL and CodeMirror windows. We've switched to using thecolor-scheme
property, which is only affecting the color of the scrollbar and seems reasonably well-supported.We have checked Firefox, Brave, Chrome and Safari and so far the worst effect is that in Safari when switching between themes, the scrollbar maintains its previous color until you click on it. I would argue this is a better issue than line height problems that prevent the REPL from being readable.