Maybe small enhancement: configuring the font size, too

clutcher / bh

Issue tracker for Better Highlights Intellij IDEA plugin

7 stars 0 forks source link

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

Open schittli opened 1 year ago

schittli commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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

clutcher commented 7 months ago

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