Skip to content
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

Editor Language selector #625

Closed
wants to merge 2 commits into from
Closed

Editor Language selector #625

wants to merge 2 commits into from

Conversation

fstasi
Copy link
Contributor

@fstasi fstasi commented Nov 19, 2021

Why

Users need a way to change the language of the editor

How

In the Preference pane a select field allows the selection of the installed languages. As the user confirm the save, the editor is reloaded with the language. The preference is also saved in the CLI configuration.

How to test

  • download a language pack
  • rename as a zip, extract, and place it in the plugins directory
  • restart the ide
  • the added language will be available for selection in the select field in the preference pane

Known Issues

At the moment only the active window is reloaded. We need to propagate a message to other windows and prompt the user to reload the other windows. Other strategies can better suite our needs, but consider this is a corner case, as usually users change the language just once, and as soon as the install the IDE.

@per1234 per1234 added topic: code Related to content of the project itself type: enhancement Proposed improvement labels Nov 19, 2021
@fstasi fstasi closed this Nov 23, 2021
@fstasi fstasi deleted the language-selector branch November 24, 2021 14:18
@per1234 per1234 added the conclusion: duplicate Has already been submitted label Dec 5, 2021
@per1234
Copy link
Contributor

per1234 commented Dec 5, 2021

Merged as part of #610

@ChrSchultz
Copy link

ChrSchultz commented Jan 25, 2022

is the plugins directore C:\users\<username>\.arduino-ide\plugin-storage?

@qizaizi
Copy link

qizaizi commented Apr 10, 2022

The plugin directory is in the installation location arduino2.0\Arduino IDE\resources\app\plugins

@per1234 per1234 mentioned this pull request May 20, 2022
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants