mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-27 21:54:30 +01:00
PdeKeywords must be read before consulting command line args
This commit is contained in:
parent
21c7715f02
commit
2981059251
@ -312,6 +312,9 @@ public class Base {
|
|||||||
// Setup board-dependent variables.
|
// Setup board-dependent variables.
|
||||||
onBoardOrPortChange();
|
onBoardOrPortChange();
|
||||||
|
|
||||||
|
this.pdeKeywords = new PdeKeywords();
|
||||||
|
this.pdeKeywords.reload();
|
||||||
|
|
||||||
CommandlineParser parser = CommandlineParser.newCommandlineParser(args);
|
CommandlineParser parser = CommandlineParser.newCommandlineParser(args);
|
||||||
|
|
||||||
for (String path : parser.getFilenames()) {
|
for (String path : parser.getFilenames()) {
|
||||||
@ -348,9 +351,6 @@ public class Base {
|
|||||||
// them.
|
// them.
|
||||||
PreferencesData.save();
|
PreferencesData.save();
|
||||||
|
|
||||||
this.pdeKeywords = new PdeKeywords();
|
|
||||||
this.pdeKeywords.reload();
|
|
||||||
|
|
||||||
if (parser.isInstallBoard()) {
|
if (parser.isInstallBoard()) {
|
||||||
ContributionsIndexer indexer = new ContributionsIndexer(BaseNoGui.getSettingsFolder());
|
ContributionsIndexer indexer = new ContributionsIndexer(BaseNoGui.getSettingsFolder());
|
||||||
ContributionInstaller installer = new ContributionInstaller(indexer) {
|
ContributionInstaller installer = new ContributionInstaller(indexer) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user