Re: Font Size Setting in RSE etc.

[David Gibbs <david@xxxxxxxxxxxx>]

On 8/30/21 8:59 AM, Jon Paris wrote:
> I know I have done this in the past, but I am darned if I can find
> which is the relevant setting right now. None of the ones that I
> thought were involved have any effect.
>
> I am looking to change the font size _not_ in the editor - but in the
> RSE tree view and elsewhere.
>
> Can someone point me to the right setting please.

I dug into the various settings too and can't find anything that appears 
to be relavent.

A bit of googling turned up this: 
https://stackoverflow.com/questions/47731327/change-project-explorer-tree-view-font-size-in-eclipse-oxygen 

which seems to indicate that you have to tweak CSS files in the plug-in's.

I haven't tried it, but you might want to give some of the things posted 
in the thread a try.

david