mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-12 06:54:24 +01:00
f57b90c1c8
`EditorTab.setText()` now already preserves the caret position. The code used during auto-format tried a bit harder to preserve the position correctly, and probably worked better in a few specific cases, but for most cases they would both end up approximating the caret position anyway. To make the code simpler, better just stick to the simpler approach.