Max Klein

> it should be added back to the themes, since that is where it was a public api. You are not wrong. Alright, since part of my goal here was...

@krassowski I do like the idea of standardizing our many button interfaces

For me it started with a `brew update` about a week ago. First, I was getting > Error: Cask 'font-dejavu-sans' is unavailable: No Cask with this name exists. and I...

Currently working, albeit with wonky styling (aligning raw svg elements in the toolbar is arcane):  I also took a crack at adding a `readonly` icon:  Not sure if...

Would actual code folding meet your needs? That feature was just added to master a couple of days ago in #5761. It'll probably wind up in the release build in...

I'm splitting @isabela-pf's Toast-on-attempted-save UI proposal (described above) out from #7980 into a fresh issue here. The easy way to do this would be to incorporate an already existing quality...

I can repro your issue (and the exact same context menu that you show) by right clicking on any directory in the filebrowser. We don't support copy/duplicate on dirs, so...

Just to see what would happen I enabled the "copy" context menu item for directories. This is what I got when I tried to cut-n-paste one:  So yeah, it...

You don't have a JupyterLab problem, you have a Python problem. The real issue is buried in the command line output you posted: > _File "C:\Users\User\Anaconda3\lib\site-packages\zmq\backend\cython__init__.py", line 6, in >...

Deprecation seems like a good idea to me, but there's already a very complicated story around the 3 similar options: - `GatewayClient.env_whitelist` - `EnterpriseGatewayApp.env_whitelist` - `EnterpriseGatewayApp.env_process_whitelist` If we start changing...