1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00
Matthijs Kooijman 7d277b359c Remove Editor.stopHandler
This handler was only always assigned the DefaultStopHandler, which did
nothing. It was called in a few places, but since it never does
anything, better remove it. For properly supporting stopping of external
processes, some better architecture should be added instead.
2016-08-26 16:42:44 +02:00
..
2015-06-25 12:47:38 +02:00
2016-01-26 12:09:56 +01:00
2016-08-26 16:42:44 +02:00
2016-01-26 12:09:56 +01:00