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

Some minor updates to the Explorer UI #1549

Merged
merged 4 commits into from
Nov 14, 2023

Conversation

Mailaender
Copy link
Contributor

including localization and avoiding redundancy in the labels to save some horizontal space.

@@ -263,7 +263,7 @@ private void updateStyle(int style) {
fontSize = 18;
}
//
Font font = new Font(getDisplay(), "Arial", fontSize, SWT.BOLD);
Font font = new Font(getDisplay(), "Arial", fontSize, SWT.BOLD); //$NON-NLS-1$
Copy link
Contributor

Choose a reason for hiding this comment

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

To harmonize using fonts, you could use


org.eclipse.chemclipse.swt.ui.support.Fonts
getCachedFont(...)

or the default Font selection

org.eclipse.swtchart/src/org/eclipse/swtchart/Resources.java
Resources.DEFAULT_FONT_NAME

eclipse/swtchart#371

@eselmeister
Copy link
Contributor

Looks good. I have added a comment, which could be addressed in a next PR.

@eselmeister eselmeister merged commit dc28658 into eclipse:develop Nov 14, 2023
3 checks passed
@Mailaender Mailaender deleted the l10n-ux-extension branch November 14, 2023 09:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants