Also other checkboxes seem to be a bit shifted down.
Also tried to make these screenshots in the new Safari 17.4.1 together with the last stable jupyterlab version (Version 4.1.6), and these issues are there as well:
interestingly, the magnifying glass in the top left corner in the main menu is getting fixed when I open the "About" window once:
First mentioned in https://github.com/jupyterlab/jupyterlab/pull/16214#issuecomment-2067764964 , I'm experiencing styling issues in the latest Safari version (Safari 17.4.1) with the latest JupyterLab pre-release (Version 4.2.0b1) https://mybinder.org/v2/gh/krassowski/jupyterlab/fix-changing-second-default-shortcut?urlpath=lab
Here are some screenshots:
Another rendering issue:
Also other checkboxes seem to be a bit shifted down.
Also tried to make these screenshots in the new Safari 17.4.1 together with the last stable jupyterlab version (Version 4.1.6), and these issues are there as well:
interestingly, the magnifying glass in the top left corner in the main menu is getting fixed when I open the "About" window once:
https://github.com/jupyterlab/jupyterlab/assets/44469195/444b2bd4-42d7-46ee-bc2b-9d064aa29311
cc. @krassowski