mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
c08fd76cad
The only change that happens is a single `setText()` call, which already results in a single undo action.