Max Tepermeister

I have also seen this on a windows system on a high res display, but not reproducibly, and it hasn't happened in a while

I believe that this refers to a premium openweathermap.com API key which allows you to have access to more things. See here: https://openweathermap.org/price The main thing that it gives you...

@krassowski Keyboard Shortcuts JSON ``` { // Keyboard Shortcuts // @jupyterlab/shortcuts-extension:shortcuts // Keyboard shortcut settings. // ***************************************** // // Note: To disable a system default shortcut, // copy it to...

Note that shift-enter for force run still works normally (and is how I've been working around this for now)

With 4.1.3 from yesterday, pressing enter in console with `Settings > Console Run Keystroke > Execute With Enter` now creates a newline and doesn't run the cell at all. EDIT:...

I'm a bit confused why this was closed as invalid? Are you saying that ResidualTerms should not be able to be negated by design? The bug I was pointing out...

The reason that I wrote `None` for the equation is that it didn't seem relevant what the particular equation was. That's not what the bug is about, and the code...

@guyer I think that I should include some code that accounts for deleting boundary conditions as well, and take a final check that my code covers all the cases. Once...

Reading more about this, it seems like this will need to be configured per system, since docker container uids must match a suitable service user on the host. In light...

I don't believe you need root for that, since all ports are allowed to be bound inside the docker container without root, and the docker daemon running as root handles...