Skip to content

Feature request: Line Highlight #6438

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.

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

Open
aliirmak opened this issue Jun 29, 2017 · 3 comments
Open

Feature request: Line Highlight #6438

aliirmak opened this issue Jun 29, 2017 · 3 comments
Labels
Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)

Comments

@aliirmak
Copy link

Can you add an option for highlighting current line? It helps some of us where we are typing.

@per1234
Copy link
Collaborator

per1234 commented Jun 29, 2017

Maybe you're asking if it can be added as a preference but this is already possible by editing the theme file:

  1. Open the file lib/theme/theme.txt found in the Arduino IDE installation folder.
  2. Change the line:
editor.linehighlight=false

to:

editor.linehighlight=true
  1. Save the file.
  2. Restart the Arduino IDE if it's running.

You can also change the color of the highlight via editor.linehighlight.color

@facchinm
Copy link
Member

facchinm commented Jul 3, 2017

Thanks @per1234 for the super precise comment! I'm leaving the issue open to understand if the request was indeed to add a checkbox in Preferences or if writing it in some wiki page is enough.

@facchinm facchinm added the Component: Documentation Related to Arduino's documentation content label Jul 3, 2017
@aliirmak
Copy link
Author

aliirmak commented Jul 3, 2017

Yes. You both are pnting to the right direction.
A checkbox under Preferences next to Line Numbering would be nice.

@facchinm facchinm added the feature request A request to make an enhancement (not a bug fix) label Jul 3, 2017
@per1234 per1234 added Component: IDE user interface The Arduino IDE's user interface and removed Component: Documentation Related to Arduino's documentation content labels May 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Development

No branches or pull requests

3 participants