Issues

• Cursor jumps to start of textbox

  probmods/webppl-editor#50 · Filter by author insperatum opened on Nov 8, 2017
  3

• Write tests

  probmods/webppl-editor#46 · Filter by author longouyang opened on Dec 9, 2016

• Add a persistence option

  probmods/webppl-editor#36 · Filter by author longouyang opened on Jul 22, 2016

• Throttle React updates

  probmods/webppl-editor#34 · Filter by author longouyang opened on Jul 13, 2016

• Add a more flexible fold syntax

  probmods/webppl-editor#31 · Filter by author longouyang opened on Jun 17, 2016

• Investigate autocomplete

  probmods/webppl-editor#30 · Filter by author longouyang opened on Jun 17, 2016

• Error highlighting broken in non-Chrome browsers

  probmods/webppl-editor#28 · Filter by author longouyang opened on Jun 9, 2016
  1

• Detect language from CodeMirror value, not React prop

  probmods/webppl-editor#21 · Filter by author stuhlmueller opened on May 27, 2016
  1

• Results minHeight should go back to 0 at some point

  probmods/webppl-editor#12 · Filter by author longouyang opened on Apr 8, 2016

• Inference progress interface

  probmods/webppl-editor#8 · Filter by author null-a opened on Feb 4, 2016
  1