mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-21 22:07:19 +00:00
ed41b25889
* add patch for setting IDE startup theme based on OS theme * Patched the default theme behavior. Signed-off-by: Akos Kitta <a.kitta@arduino.cc> * add custom themes in register Co-authored-by: Akos Kitta <a.kitta@arduino.cc>
18 lines
393 B
Plaintext
18 lines
393 B
Plaintext
# The working-copy folder we use to package the application.
|
|
working-copy/
|
|
|
|
# Ignore all Theia generated things.
|
|
*.log
|
|
src-gen/
|
|
node_modules/
|
|
build/yarn.lock
|
|
lib/
|
|
|
|
# The electron-builder output.
|
|
dist/
|
|
|
|
# `dotenv` can provide dynamic input for the elecrton-builder. e.g.: commitish for the build.
|
|
electron-builder.env
|
|
|
|
# The generated `package.json` under the `build` folder.
|
|
build/package.json |