Skip to content

Theme colors issue ? #3367

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
pierrotm777 opened this issue Jun 19, 2015 · 6 comments
Closed

Theme colors issue ? #3367

pierrotm777 opened this issue Jun 19, 2015 · 6 comments
Assignees
@ffissore
Labels
Component: IDE user interface The Arduino IDE's user interface
Milestone
Release 1.6.6

Comments

@pierrotm777
Copy link

I try to change the color of the comment type 2 but without succes:

TEXT - COMMENTS

editor.comment1.style = #434F54,plain

editor.comment1.style = #416913,plain

editor.comment2.style = #95a5a6,plain

editor.comment2.style = #416913,plain
@ffissore
Copy link
Contributor

have you restarted the IDE?

@ffissore ffissore reopened this Jun 19, 2015
@ffissore ffissore added the Component: IDE user interface The Arduino IDE's user interface label Jun 19, 2015
@ffissore ffissore added this to the Release 1.6.6 milestone Jun 19, 2015
@ffissore ffissore self-assigned this Jun 19, 2015
@ffissore
Copy link
Contributor

btw, comment2 is not used anymore, only comment1 is

@ffissore ffissore added the Waiting for feedback More information must be provided before we can proceed label Jun 19, 2015
@pierrotm777
Copy link
Author

Yes !

@pierrotm777
Copy link
Author

How to change the type comment like /.../ ?

@ffissore ffissore removed the Waiting for feedback More information must be provided before we can proceed label Jun 22, 2015
@ffissore
Copy link
Contributor

Thank you @pierrotm777, indeed multiline comments weren't handled by theme. Now they are, using comment2 (re-enabled). Fix will be available with next hourly build http://www.arduino.cc/en/Main/Software#hourly

@pierrotm777
Copy link
Author

Cooool, thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ffissore ffissore

Labels
Component: IDE user interface The Arduino IDE's user interface
Projects
None yet
Milestone
Release 1.6.6
Development

No branches or pull requests
2 participants
@ffissore @pierrotm777