Search results

themeable menu bar

conclusion: declinedWill not be worked on Will not be worked on

topic: themeRelated to GUI theming Related to GUI theming

type: enhancementProposed improvement Proposed improvement

Status: Not planned (skipped).

#2229 In arduino/arduino-ide;

· by BPplays was closed on Sep 19, 2023

IDE2's settings model gets out of sync from the persisted values of the Theia preferences

conclusion: resolvedIssue was resolved Issue was resolved

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Closed (completed).

#1987 In arduino/arduino-ide;

· by kittaakos was closed on Apr 14, 2023

Live change of theme from Preferences dropdown

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1296

#1296 In arduino/arduino-ide;

· by francescospissu was closed on Aug 9, 2022

#193, #324, #327, #717, #851 Replaced the splash screen with a preload

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 1287

#1287 In arduino/arduino-ide;

· by kittaakos was closed on Aug 9, 2022

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1273

#1273 In arduino/arduino-ide;

· by github-actions was closed on Aug 2, 2022

High Contrast theme updates

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 1265

#1265 In arduino/arduino-ide;

· by francescospissu was closed on Aug 1, 2022

Register custom themes after the monaco theme init

topic: codeRelated to content of the project itself Related to content of the project itself

topic: theiaRelated to the Theia IDE framework Related to the Theia IDE framework

topic: themeRelated to GUI theming Related to GUI theming

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 1257

#1257 In arduino/arduino-ide;

· by AlbyIanna was closed on Jul 29, 2022

Custom colors clean up

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1252

#1252 In arduino/arduino-ide;

· by francescospissu was closed on Aug 2, 2022

#1223: use theme service on settings load

topic: codeRelated to content of the project itself Related to content of the project itself

topic: themeRelated to GUI theming Related to GUI theming

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 1238

#1238 In arduino/arduino-ide;

· by davegarthsimpson was closed on Jul 27, 2022

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1203

#1203 In arduino/arduino-ide;

· by github-actions was closed on Jul 18, 2022

Update themes

conclusion: duplicateHas already been submitted Has already been submitted

topic: themeRelated to GUI theming Related to GUI theming

Status: Closed (abandoned).

arduino/arduino-idenumber 1195

#1195 In arduino/arduino-ide;

· by github-actions was closed on Jul 15, 2022

Update themes

topic: themeRelated to GUI theming Related to GUI theming

Status: Merged (completed).

arduino/arduino-idenumber 1187

#1187 In arduino/arduino-ide;

· by github-actions was closed on Jul 15, 2022