firai

Rendered obsolete by #13074. It doesn't seem like anyone else noticed the issue anyway.

Thanks, @fcollonval! You can also add #12972 to the list of issues that this PR fixes. The "Language Servers" section label seems to overflow its box on Firefox (see below)....

Thanks, @fcollonval! Looks like getting rid of the label margins did the trick on Windows Firefox. 

Which Chinese is your system in, simplified or traditional? It seems like a proportional font is being used, so this might be related to https://github.com/xtermjs/xterm.js/issues/2963?

Since similar panels (debugger, users and the upcoming extensions manager) all use accordion panels, it seems like this panel should ultimately move to accordion panels as well, which is both...

A couple of other proposed solutions to this issue, which I think applies for both regular zoom and increased zoom: #12223

Just throwing ideas out there: maybe this could be a setting?

Thanks for your response! For the latter case, could the sticky columns and rows be separated into another synchronized canvas (or two I suppose) so that they don't scroll out...

For anyone who lands here from Google, I understand that preliminary STIX Two support has landed in [v4.0.0-alpha.1](https://github.com/mathjax/MathJax/releases/tag/4.0.0-alpha.1). The issue also seems to be duplicated in #2503.

Hi everyone, I have just created the extension [`jupyterlab-indent-guides`](https://github.com/firai/jupyterlab-indent-guides) to bring `@replit/codemirror-indentation-markers` to JupyterLab 4. The first working version is already on PyPI, so please try it out. Bug reports,...