Denis Gorbachev
Denis Gorbachev
Does `PIGATO.Client` really support connecting to multiple brokers? The code says `this.socket.connect(this.broker)` (single connect call), and original ZMQ guide says `A subscriber can connect to more than one publisher, using...
Thanks for your work! Here's a reproduction of the bug: ``` cd /tmp git clone [email protected]:ShieldFinanceHQ/contracts.git cd contracts nvm install $(cat .nvmrc) nvm use npm install --global yarn yarn install...
Is there a way to enforce field order? It would be better for readability than current random order: 
Could you please update `swagger-ui-dist` to the latest version? They've recently started to display default parameter values: see https://github.com/swagger-api/swagger-ui/issues/3518#issuecomment-409402033
I have a parent page that embeds a child iframe. I set up arrival listeners for elements in child iframe; however, these listeners are never called. Is it possible to...
Hey, thanks for the plugin, it's very helpful! However, there's one issue: it messes up the indentation after pasting the code. Before:  After:  Expected:  Currently, we have...
Hope fixing the typos is OK!
Hi @Vtec234 @gebner ! I've published a new [VSCode extension for code actions](https://marketplace.visualstudio.com/items?itemName=denis-gorbachev.lean4-code-actions&ssr=false). Mario suggested merging this extension into `vscode-lean4` in [the Zulip thread](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/VSCode.20extension.20for.20Lean.20code.20actions). Pros: * Users won't need to...