added async stop button (and disable breaks around editor operations) eliminated redundant calls to refresh in display<%>
(but there is still some work to do to actually select a reasonable set of colors and probably some refactoring, but at least the interface with the framework is there now, so the changes should not be hard from here on)