Change Detector amendments #5075

merged 4 commits into from May 19, 2017


None yet
2 participants

JakubValtar commented May 19, 2017

  • Run Change Detector on EDT to prevent changes from user before finishing
  • Notify Editor to run error check when Change Detector modifies the sketch
  • Remove some unused code

Follow-up to #5021

@benfry benfry merged commit ce3de9d into processing:master May 19, 2017

@JakubValtar JakubValtar deleted the JakubValtar:change-detector-amendments branch Sep 19, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment