Search results

Cursor jumps to start of textbox

Status: Open.

#50 In probmods/webppl-editor;

· insperatum opened on Nov 8, 2017

Write tests

Status: Open.

#46 In probmods/webppl-editor;

· longouyang opened on Dec 9, 2016

Add a persistence option

Status: Open.

#36 In probmods/webppl-editor;

· longouyang opened on Jul 22, 2016

Throttle React updates

Status: Open.

#34 In probmods/webppl-editor;

· longouyang opened on Jul 13, 2016

Add a more flexible fold syntax

Status: Open.

#31 In probmods/webppl-editor;

· longouyang opened on Jun 17, 2016

Investigate autocomplete

Status: Open.

#30 In probmods/webppl-editor;

· longouyang opened on Jun 17, 2016

Error highlighting broken in non-Chrome browsers

Status: Open.

#28 In probmods/webppl-editor;

· longouyang opened on Jun 9, 2016

Detect language from CodeMirror value, not React prop

Status: Open.

#21 In probmods/webppl-editor;

· stuhlmueller opened on May 27, 2016

Results minHeight should go back to 0 at some point

Status: Open.

#12 In probmods/webppl-editor;

· longouyang opened on Apr 8, 2016

Inference progress interface

Status: Open.

#8 In probmods/webppl-editor;

· null-a opened on Feb 4, 2016