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.

Sign up for GitHub

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

Jump to bottom

Maybe small enhancement: configuring the font size, too #9

Open
schittli opened this issue Dec 30, 2022 · 3 comments
Open

Maybe small enhancement: configuring the font size, too #9

schittli opened this issue Dec 30, 2022 · 3 comments
Labels
enhancement New feature or request

Comments

@schittli
Copy link

Hello

Thanks a lot for sharing your great & very useful work!

I have a probably small suggestion:
It would be great if we could modify the font size, too, so that useful but not so important comments can get smaller and important Comments get bigger fonts 😃

Thanks a lot, kind regards,
Thomas
@clutcher clutcher added the enhancement New feature or request label Jan 16, 2023
@clutcher
Copy link
Owner

clutcher commented Jan 16, 2023 •
edited
Loading

It is not small) requires to rewire OOTB intellij UI. Most probably I will not implement that. Let's wait and see if someone else is interested in that.

@clutcher clutcher added wontfix This will not be worked on enhancement New feature or request and removed enhancement New feature or request labels Jan 16, 2023
@clutcher clutcher transferred this issue from another repository Apr 7, 2023
@clutcher clutcher transferred this issue from another repository Apr 7, 2023
@clutcher
Copy link
Owner

Received additional interest on that item. Possibility of implementation would be reviewed after UI/UX refactoring.

@clutcher clutcher removed the wontfix This will not be worked on label Aug 18, 2023
@clutcher clutcher self-assigned this Aug 18, 2023
@clutcher clutcher removed their assignment Dec 23, 2023
@clutcher
Copy link
Owner

Unfortunatelly there is still no allowed way to implement that. Would review possibility of implementation in next major version release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@clutcher @schittli