Saketh Kasibatla

Examples seem to work, but go blank on a refresh. Before: After:

When I type in an example that fails to parse, drilling down into the explanation as to why causes the text to disappear. Before Expanding: After Expanding:

VS Code Version: 1.41.1 Extension Version: 0.11.0 What's the issue: Constructor calls (e.g. new Foo(1, 2, 3)) do not have their parameters annotated

Hi, I'm using posthtml-expressions as a part of [maizzle](https://maizzle.com) to generate templates. I used the following settings to change my delimiters: ``` expressions: { delimiters: ['[[', ']]'], unescapeDelimiters: ['[[[', ']]]'],...

`gum write` freezes when I paste in a large amount of text

1

**Describe the bug** When I paste in a large amount of text, gum write hangs and doesn't respond to any input **To Reproduce** Steps to reproduce the behavior: 1. run...

See the attached screenshots. The gray highlighter isn't being rendered as gray in version 3.6 of the remarkable software

toObject method of my message class uses an undeclared variable

2

**What version of protobuf and what language are you using?** Version: 3.7.0 Language: Javascript **What operating system (Linux, Windows, ...) and version?** Ubuntu 16.04.5 LTS (Bitnami LAMP) MacOS Mojave 10.14.2...

qauto breaks goal into multiple subgoals instead of solving or failing.

1

I'm trying to run an evaluation of how many proofs coqhammer can solve in the [coq_wigderson project](https://github.com/siraben/coq-wigderson). To do this, I'm running the hammer tactic from coq-serapi, using coq 8.13....