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

Added getStyleSheets Fucntion #336

Merged
merged 2 commits into from
Jun 15, 2021
Merged

Added getStyleSheets Fucntion #336

merged 2 commits into from
Jun 15, 2021

Conversation

JellevanAbbema
Copy link
Contributor

@JellevanAbbema JellevanAbbema commented Jun 11, 2021

Adds the functionality to change the style of the preference window
This function already exists in the Java 8 version, this pull request adds the exact same code for Java 11.

PR Checklist

  • There is an issue for the bug/feature this PR is for. To avoid wasting your time, it's best to open an issue first and wait for approval before working on it.
  • The code follows the Google Java Style Guide.
  • JavaDoc is added / changed for public methods.
  • An example of the new feature is added to the demos.
  • Documentation of the feature is included in the README.
  • Tests for the changes are included.

What is the current behavior?

Unable to change stylesheet in Java 11 version

What is the new behavior?

Able to change stylesheet in Java 11 version

JellevanAbbema and others added 2 commits June 11, 2021 22:59
Adds the functionality to change the style of the preference window
@JellevanAbbema
Copy link
Contributor Author

So you guys had a random dot in a pom file which broke the entire build, removed it in this commit.
I have no idea why the builds here online are failing but from what I can tell it's not my fault.

@dlemmermann
Copy link
Collaborator

The build fails because it uses a third party code analysis tool for which only I have the permission to run it. Stupid .... I need to change that.

@dlemmermann dlemmermann merged commit e8e4666 into dlsc-software-consulting-gmbh:master-11 Jun 15, 2021
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.

2 participants