X Tutup
Skip to content

Add a border to tooltips when using the Draw Extra Borders editor setting#76267

Merged
Repiteo merged 1 commit intogodotengine:masterfrom
Calinou:editor-theme-extra-borders-tooltip
Oct 9, 2025
Merged

Add a border to tooltips when using the Draw Extra Borders editor setting#76267
Repiteo merged 1 commit intogodotengine:masterfrom
Calinou:editor-theme-extra-borders-tooltip

Conversation

@Calinou
Copy link
Member

@Calinou Calinou commented Apr 19, 2023

This distinguishes tooltips from the background when using the Black (OLED) editor theme preset.

Preview

Before

Screenshot_20230419_230242

After

Screenshot_20230419_230830

A side effect is that this causes a second border to appear outside the EditorHelpBit tooltips for documentation:

Screenshot_20230419_230853

It's not a dealbreaker, but it looks a bit odd. I'm not sure where the existing border around those is defined – it should probably be removed. I can't find any mentions of a border in the EditorHelpBit or EditorInspector source code.

@Calinou Calinou added this to the 4.x milestone Apr 19, 2023
@Calinou Calinou force-pushed the editor-theme-extra-borders-tooltip branch from 0c1a372 to 0c11920 Compare January 31, 2024 00:16
@Calinou Calinou requested review from a team as code owners January 31, 2024 00:16
Copy link
Contributor

@ryevdokimov ryevdokimov left a comment

Choose a reason for hiding this comment

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

Looks good.

Edit: Apparently, I missed the issue.

@ryevdokimov
Copy link
Contributor

ryevdokimov commented Feb 1, 2024

It's the RichTextLabel that's part of EditorHelpBit that's causing the double borders. This isn't the correct way to do it, but the double borders can be removed by doing this.

image

@KoBeWi
Copy link
Member

KoBeWi commented Feb 19, 2024

A better way to remove the double border is adding a new Stylebox for EditorHelpBit, which by default would be the same as RichTextLabel.

@Calinou Calinou force-pushed the editor-theme-extra-borders-tooltip branch from 0c11920 to cbb98ac Compare September 20, 2024 18:09
@Calinou
Copy link
Member Author

Calinou commented Sep 20, 2024

A better way to remove the double border is adding a new Stylebox for EditorHelpBit, which by default would be the same as RichTextLabel.

Done:

Before

image

After

image

@Calinou Calinou force-pushed the editor-theme-extra-borders-tooltip branch from cbb98ac to 354e717 Compare September 20, 2024 18:10
@Repiteo
Copy link
Contributor

Repiteo commented Oct 3, 2025

Looks good to go, but could use a rebase

@Repiteo Repiteo modified the milestones: 4.x, 4.6 Oct 3, 2025
…ting

This distinguishes tooltips from the background when using the
Black (OLED) editor theme preset.
@Calinou Calinou force-pushed the editor-theme-extra-borders-tooltip branch from 354e717 to 7fe3a66 Compare October 7, 2025 23:47
@Calinou
Copy link
Member Author

Calinou commented Oct 7, 2025

Rebased and tested again, it works as expected.

@Repiteo Repiteo merged commit 894d6ba into godotengine:master Oct 9, 2025
20 checks passed
@Repiteo
Copy link
Contributor

Repiteo commented Oct 9, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

X Tutup