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

Tune logging #704

Merged
merged 3 commits into from
Nov 27, 2024
Merged

Tune logging #704

merged 3 commits into from
Nov 27, 2024

Conversation

rock3r
Copy link
Collaborator

@rock3r rock3r commented Nov 27, 2024

This PR uncomments logging in ResourcePainterProvider which should never have been committed to begin with, and adjusts its level to trace (FINER). It also sets the JavaFactory level to FINE (debug), so that ResourcePainterProvider's logs don't spam the console. Lastly, it cleans up JewelLogger's code with the IDE's Clean up action

Verified

This commit was signed with the committer’s verified signature.
rock3r Sebastiano Poggi
It was commented out and committed by mistake. This should make it less
noisy and somewhat opt-in.

Verified

This commit was signed with the committer’s verified signature.
rock3r Sebastiano Poggi
This reduces the amount of "spam" due to ResourcePainterProvider. For
now the user needs to patch the logger factory by hand, but we should
introduce a way to configure this — see #703
@rock3r rock3r added the cleanup Improve the project/tooling and/or get rid of tech debt label Nov 27, 2024
@rock3r rock3r requested a review from hamen November 27, 2024 10:13
@rock3r rock3r self-assigned this Nov 27, 2024
@rock3r rock3r enabled auto-merge (squash) November 27, 2024 10:15

Verified

This commit was signed with the committer’s verified signature.
rock3r Sebastiano Poggi
Copy link
Collaborator

@hamen hamen left a comment

Choose a reason for hiding this comment

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

Sorry for having committed this. It was a mistake: usually I mark the file as “assume unchanged”, but it slipped through.

@rock3r rock3r merged commit 9205770 into main Nov 27, 2024
1 check passed
@rock3r rock3r deleted the tune-logging branch November 27, 2024 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleanup Improve the project/tooling and/or get rid of tech debt
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants