rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-03 14:24:15 +01:00
Code Issues Releases Activity
aff7b4bcba
Arduino/build/shared/lib/theme/syntax
History
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
..
dark.xml Editor: disabled brace highlight animation. Can be re-enabled by manually 2015-10-26 18:30:23 +01:00
default.xml Editor: disabled brace highlight animation. Can be re-enabled by manually 2015-10-26 18:30:23 +01:00