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

Allow user to select any installed LaF #3038

Merged
merged 1 commit into from Mar 9, 2023

Conversation

FliegendeWurst
Copy link
Member

@FliegendeWurst FliegendeWurst commented Feb 17, 2023

This is another style available by default.

EDIT: Code has been adapted as suggested by @wadoon.

@wadoon
Copy link
Member

wadoon commented Feb 17, 2023

Should we not try to find the LaF automatically?

Oracle gives this snippet

import javax.swing.UIManager.*;

try {
    for (LookAndFeelInfo info : UIManager.getInstalledLookAndFeels()) {
        if ("Nimbus".equals(info.getName())) {
            UIManager.setLookAndFeel(info.getClassName());
            break;
        }
    }
} catch (Exception e) {
    // If Nimbus is not available, you can set the GUI to another look and feel.
}

It should simple to fill out the array from LookAndFeelInfos.

@wadoon wadoon self-requested a review February 17, 2023 12:40
@wadoon wadoon removed their assignment Feb 17, 2023
@wadoon wadoon added GUI 🛠 Maintenance Code quality and related things w/o functional changes labels Feb 17, 2023
@FliegendeWurst FliegendeWurst changed the title Add Nimbus LaF to selection Allow user to select any installed LaF Feb 22, 2023
auto-merge was automatically disabled March 9, 2023 13:13

Merge queue setting changed

@jwiesler jwiesler added this pull request to the merge queue Mar 9, 2023
Merged via the queue into KeYProject:main with commit 66243e3 Mar 9, 2023
11 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
GUI 🛠 Maintenance Code quality and related things w/o functional changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants