× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.


  1.  Home
  2. WDSCI-L
  3. August 2021

Re: Font Size Setting in RSE etc.

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


As an Amazon Associate we earn from qualifying purchases.

This thread ...
Follow-Ups:
Replies:
Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.