1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-15 12:29:26 +01:00
Federico Fissore cc1ed440e5 Editor: disabled brace highlight animation. Can be re-enabled by manually
editing theme/syntax/default.xml. Fixes #3991
2015-10-26 18:30:23 +01:00
..
2015-08-10 09:35:47 +02:00
2015-10-26 13:21:06 +01:00
2015-10-26 15:36:38 +01:00
2015-08-10 09:07:55 +02:00