I'd really like to be able to configure draw.io that's embedded in Visual Code to be the same as the configuration I use outside of Visual Code. I have setup Draw.io Desktop to use different pre-set colours (presetColors) and some custome styles (customColorSchemes). I've attempted to add them in the Visual Code settings.json using the following. Neither are recognized. Is it possible to

I have a lot of calls to json.dumps. This can have exceptions when you serialize data, and sometimes I forget to sort the keys. I should have a generic function that I can call for this purpose.

See how to use a serializer here:
https://github.com/duo-labs/cloudmapper/blob/1015ea8ddef327d29333458ef5f1599f1321ad84/commands/collect.py#L180

When I draw a double line without arrow head, it produces \arrow[r, no head, Rightarrow] but compiling it with latex, I get a double line with head. It looks like the correct option is equal instead of no head, Rightarrow.

Blast Radius , when launched in --serve mode, does some pretty weak error reporting, and does nothing to help users resolve problems. It asks the user to look into several possible issues, rather than checking itself...

To observe the current (undesired) behavior, run Blast Radius in an empty directory:

[...]$ mkdir tmp
[...]$ cd tmp
[...]$ blast-radius --serve

A short

When this browserl.ist becomes empty we should ditch Timsort as the sort function of native arrays in all supported browsers will fulfill all of our requirements. This is already the case in most versions we support an