probmods/webppl-editor Issues
Cursor jumps to start of textbox
Updated 3Write tests
UpdatedPretty print ad values
ClosedSyntax error formatting
Closed 1Fix React propType warning
Closed 2Add a clear button for results
Closed 1Add a persistence option
UpdatedThrottle React updates
UpdatedAdd a results metadata drawer
Closed 2Investigate autocomplete
UpdatedHook up syntax errors to the editor
Closed 12Handle errors thrown as strings
Closed 1Use official react-codemirror
Closed 1Inference progress interface
Updated 1Errors not always caught
Closed 3Better syntax highlighting
Closed 1