1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00

URL right-clickable and underlined.

This commit is contained in:
Cristian Maglie
2011-08-23 19:21:42 +02:00
parent d60c42e5ed
commit f233861a4c
6 changed files with 49 additions and 20 deletions

View File

@ -84,7 +84,7 @@ editor.literal1.style = #006699,plain
editor.literal2.style = #006699,plain
# http://arduino.cc/
editor.url.style = #0000ff,italic
editor.url.style = #0000ff,underlined
# e.g. + - = /
editor.operator.style = #000000,plain