Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Add a setting that allows to control window header text separately from a window title #456

Merged
merged 4 commits into from
Dec 6, 2024

Conversation

RomanNikitenko
Copy link
Contributor

@RomanNikitenko RomanNikitenko commented Nov 20, 2024

What does this PR do?

  • Adds new setting window.header that allows to control window header text separately from a window title

What issues does this PR fix?

https://issues.redhat.com/browse/CRW-7258

How to test this PR?

I'm going to provide an ability to apply editor configurations from a configmap within another PR: #460.
So, you have to do some actions manually to test the current PR changes:

  • Start a workspace using editor image with the PR changes: quay.io/che-incubator-pull-requests/che-code:pr-456-amd64
  • File => Open File => /projects/.code-workspace
  • Add the following content:
"settings": {
      "window.header": "SOME TEST HEADER MESSAGE"
}
  • Refresh the page
  • Check header message
Screenshot 2024-12-02 at 14 08 05

Does this PR contain changes that override default upstream Code-OSS behavior?

  • the PR contains changes in the code folder (you can skip it if your changes are placed in a che extension )
  • the corresponding items were added to the CHANGELOG.md file
  • rules for automatic git rebase were added to the .rebase folder

Copy link

github-actions bot commented Nov 20, 2024

Click here to review and test in web IDE: Contribute

@RomanNikitenko RomanNikitenko changed the title feat: Add a setting that allows to control window header test separately from a window title feat: Add a setting that allows to control window header text separately from a window title Nov 20, 2024

This comment was marked as outdated.

1 similar comment

This comment was marked as outdated.

This comment was marked as outdated.

1 similar comment

This comment was marked as outdated.

This comment was marked as outdated.

1 similar comment

This comment was marked as outdated.

@RomanNikitenko RomanNikitenko changed the title feat: Add a setting that allows to control window header text separately from a window title feat: Ability ability to apply editor configurations from a configmap Nov 27, 2024
@RomanNikitenko RomanNikitenko changed the title feat: Ability ability to apply editor configurations from a configmap feat: Ability to apply editor configurations from a configmap Nov 27, 2024

This comment was marked as outdated.

@RomanNikitenko RomanNikitenko changed the title feat: Ability to apply editor configurations from a configmap feat: Add a setting that allows to control window header text separately from a window title Dec 2, 2024
Copy link

github-actions bot commented Dec 2, 2024

@RomanNikitenko RomanNikitenko added the made-with-che Changes made with Che-Code label Dec 2, 2024
…ely from a window title

Signed-off-by: RomanNikitenko <rnikiten@redhat.com>
Signed-off-by: RomanNikitenko <rnikiten@redhat.com>
Copy link

github-actions bot commented Dec 2, 2024

1 similar comment
Copy link

github-actions bot commented Dec 2, 2024

@RomanNikitenko RomanNikitenko marked this pull request as ready for review December 2, 2024 12:14
@RomanNikitenko
Copy link
Contributor Author

RomanNikitenko commented Dec 2, 2024

I'm working on rules for automatic git rebase...

===
Update: it's done!

Copy link

github-actions bot commented Dec 2, 2024

Copy link

github-actions bot commented Dec 3, 2024

1 similar comment
Copy link

github-actions bot commented Dec 3, 2024

Signed-off-by: RomanNikitenko <rnikiten@redhat.com>
Copy link

github-actions bot commented Dec 3, 2024

@@ -32,7 +32,8 @@ import { CodeWindow } from '../../../../base/browser/window.js';

const enum WindowSettingNames {
titleSeparator = 'window.titleSeparator',
title = 'window.title'
title = 'window.title',
headerText = 'window.headerText'
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could we truncate property name to window.header ?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

OK for me!
will provide the corresponding changes...

…r setting

Signed-off-by: RomanNikitenko <rnikiten@redhat.com>
Copy link

github-actions bot commented Dec 6, 2024

@RomanNikitenko RomanNikitenko merged commit 75377ec into main Dec 6, 2024
7 checks passed
@RomanNikitenko RomanNikitenko deleted the banner-message branch December 6, 2024 15:37
@devspacesbuild
Copy link

Build 3.19 :: code_3.x/1511: Console, Changes, Git Data

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
made-with-che Changes made with Che-Code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants