Movatterモバイル変換


[0]ホーム

URL:


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

fix: restorewindow.titleBarStyle andbreadcrumbs.enabled#1870

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Draft
kittaakos wants to merge2 commits intomain
base:main
Choose a base branch
Loading
from#1733

Conversation

@kittaakos
Copy link
Contributor

@kittaakoskittaakos commentedFeb 9, 2023
edited by per1234
Loading

Motivation

This PR partiallyfixes#1733 and#2716 by restoring the default Theia behavior of thewindow.titleBarStyle (on Windows and Linux) andbreadcrumbs.enabled preferences.

Change description

  • breadcrumbs.enabled should enable the breadcrumbs on all platforms. By default, it is disabled in IDE2.

  • Thewindow.titleBarStyle preference should be verified together with thewindow.menuBarVisibility values. The custom menu has special handling from Theia when the app is running in full-screen mode:

    Screen Shot 2023-02-15 at 15 53 11

Other information

Ref:#1733 and#2716

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among thePull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@per1234per1234 added topic: codeRelated to content of the project itself type: imperfectionPerceived defect in any part of project labelsFeb 10, 2023
@kittaakoskittaakos self-assigned thisFeb 15, 2023
@kittaakoskittaakos changed the base branch from#1826 tomainFebruary 15, 2023 13:21
Akos Kitta added2 commitsFebruary 15, 2023 14:32
Ref:#1733Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Ref:#1733Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
@kittaakoskittaakos changed the titlefix: restorewindow.titleBarStylefix: restorewindow.titleBarStyle andbreadcrumbs.enabledFeb 15, 2023
@per1234per1234 mentioned this pull requestJul 2, 2023
3 tasks
@kittaakoskittaakos mentioned this pull requestSep 19, 2023
3 tasks
@kittaakoskittaakos removed their assignmentFeb 23, 2024
@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign ourContributor License Agreement before we can accept your contribution.


Akos Kitta seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, pleaseadd the email address used for this commit to your account.
You have signed the CLA already but the status is still pending? Let usrecheck it.

@per1234per1234 linked an issueApr 20, 2025 that may beclosed by this pull request
3 tasks
@per1234per1234 added the topic: theiaRelated to the Theia IDE framework labelJun 3, 2025
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

topic: codeRelated to content of the project itselftopic: theiaRelated to the Theia IDE frameworktype: imperfectionPerceived defect in any part of project

Projects

None yet

Milestone

No milestone

3 participants

@kittaakos@CLAassistant@per1234

[8]ページ先頭

©2009-2025 Movatter.jp