mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-26 00:07:18 +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>
11 lines
426 B
JavaScript
11 lines
426 B
JavaScript
// @ts-check
|
|
const config = require('./gen-webpack.config.js');
|
|
const path = require('path');
|
|
|
|
// Load the patched `index.js` that sets the desired theme in IDE2 based on the OS' theme.
|
|
// The `patch/frontend/index.js` will require the original, generated `index.js`.
|
|
// See: https://github.com/arduino/arduino-ide/pull/1160.
|
|
config.entry.bundle = path.resolve(__dirname, 'patch/frontend/index.js');
|
|
|
|
module.exports = config;
|