Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Some Theia settings have no effect, problematic decriptions, or are ignored on startup #1077

Closed
Assignees
Labels
conclusion: duplicateHas already been submitted conclusion: resolvedIssue was resolved topic: codeRelated to content of the project itself topic: theiaRelated to the Theia IDE framework type: imperfectionPerceived defect in any part of project
@boundmaidlea

Description

Describe the problem

Settings

  • editor.padding.bottom
  • editor.padding.top
  • window.menuBarVisibility
  • window.titleBarStyle
  • workbench.editor.highlightModifiedTabs

have no effect at all, even though it would be desirable to have these settings changable, and breadcrumbs.enabled only works in specific circumstances, but otherwise doesn't fulfill any actual purpose atm (showing the file's path), even though it could.


The settings

  • editor.guides.bracketPairsHorizontal
  • editor.minimap.scale

will be saved in the settings.json file, but are not read on startup and need to be re-set in the settings to take effect.


Further the description of the editor.language.colorizedBracketPairs setting's description states

Use 'workbench.colorCustomizations' to override the bracket highlight colors.

Even though the workbench.colorCustomizations setting is not supported by this IDE at the moment.


The description of application.confirmExit seems to assume that the app runs in browser even if it doesn't.

To reproduce

  • open the command palette
  • use the Preferences: Open Settings (UI) command
  • change or look at one of the mentioned settings

Expected behavior

all mentioned settings do what they are described to do and vice versa.

Arduino IDE version

2.0.0-rc7-nightly-20220615

Operating system

Windows

Operating system version

10.0.19044.1706 Pro

Additional context

My Nightly Build is 4 days old, but the 3 commits since then do not have any relations to this issue.

Issue checklist

  • I searched for previous reports in the issue tracker
  • I verified the problem still occurs when using the latest nightly build
  • My report contains all necessary details

Metadata

Metadata

Assignees

Labels

conclusion: duplicateHas already been submitted conclusion: resolvedIssue was resolved topic: codeRelated to content of the project itself topic: theiaRelated to the Theia IDE framework type: imperfectionPerceived defect in any part of project

Type

No type

Projects

No projects

Milestone

No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      AltStyle によって変換されたページ (->オリジナル) /