mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-24 11:46:32 +00:00
Disable Editor breadcrumbs by default (#611)
This commit is contained in:
parent
7ac7ae9063
commit
13734a642c
@ -44,7 +44,8 @@
|
||||
"other": false,
|
||||
"comments": false,
|
||||
"strings": false
|
||||
}
|
||||
},
|
||||
"breadcrumbs.enabled": false
|
||||
}
|
||||
}
|
||||
},
|
||||
|
@ -47,7 +47,8 @@
|
||||
"other": false,
|
||||
"comments": false,
|
||||
"strings": false
|
||||
}
|
||||
},
|
||||
"breadcrumbs.enabled": false
|
||||
}
|
||||
}
|
||||
},
|
||||
|
Loading…
x
Reference in New Issue
Block a user