ricardo.jl.rufino 1e61cd6b4c preferences for syntax highlighting theme

2015-05-07 17:15:50 +02:00

..

syntax

preferences for syntax highlighting theme

2015-05-07 17:15:50 +02:00

buttons.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

lock.png

nicer password popup

2013-05-06 12:31:03 +02:00

resize.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-sel-left.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-sel-menu.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-sel-mid.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-sel-right.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-unsel-left.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-unsel-menu.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-unsel-mid.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

tab-unsel-right.gif

Revert "Merge branch 'master' of github.com:arduino/Arduino into diskloader_reboot"

2011-10-27 11:45:13 -04:00

theme.txt

Restored old error message colour

2015-04-07 10:10:12 +02:00