Uploaded image for project: 'Spring Tool Suite'
  1. Spring Tool Suite
  2. STS-2211

Provide a global font size adjustment mechanism

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Trivial
    • Resolution: Won't Fix
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:
      None
    • Environment:
      Any

      Description

      Adjusting the font size in STS is made really painful by the fact that there are several million (well nearly) different font categories, each with their own size setting. As a user of STS it would be really useful to have an additional, global, level of adjustment so I could increase/ decrease ALL displayed font sizes in one go.

      This should probably be implemented as a runtime adjustment (i.e. applied on top of the configured font settings) rather than physically altering the font configuration settings themselves. I'm thinking along the lines of how web browsers tend to work in that they don't re-write the rendered CSS (the font config in their case) but they simply adjust the displayed font size as per the user's preference.

        Activity

        Hide
        mlippert Martin Lippert added a comment -

        At the moment adjusting the font sizes is indeed a bit painful, especially since some of the font sizes are not even controlled by Eclipse/STS, but are reused from the underlying OS (package explorer font, for example).

        What do you mean exactly with "This should probably be implemented as a runtime adjustment (i.e. applied on top of the configured font settings) rather than physically altering the font configuration settings themselves" ??? If I open a view, for example, Eclipse uses the settings that are configured in the preferences. Do you mean changing the preferences without persisting them?

        We should look at this when we migrate STS to use the Eclipse 4.x platform since that provide a lot more opportunities to change fonts and optics in general (even via CSS).

        Show
        mlippert Martin Lippert added a comment - At the moment adjusting the font sizes is indeed a bit painful, especially since some of the font sizes are not even controlled by Eclipse/STS, but are reused from the underlying OS (package explorer font, for example). What do you mean exactly with "This should probably be implemented as a runtime adjustment (i.e. applied on top of the configured font settings) rather than physically altering the font configuration settings themselves" ??? If I open a view, for example, Eclipse uses the settings that are configured in the preferences. Do you mean changing the preferences without persisting them? We should look at this when we migrate STS to use the Eclipse 4.x platform since that provide a lot more opportunities to change fonts and optics in general (even via CSS).
        Hide
        eddgrant Edd Grant added a comment -

        Thanks Martin, to clarify: What I meant was that if I have configured basic | text font to a size of 9px and had then adjusted my proposed global setting to +1px, I would expect any text using the basic | text font style to be displayed in STS at 10px (9px + 1px). However I would still expect the font configuration of basic | text font to show a configured value of 9px when I viewed it in preferences rather than it appearing to have been configured to be 10px.

        Does that make sense? Perhaps it makes sense to get input from others here as I may not be representing a common viewpoint here.

        Show
        eddgrant Edd Grant added a comment - Thanks Martin, to clarify: What I meant was that if I have configured basic | text font to a size of 9px and had then adjusted my proposed global setting to +1px, I would expect any text using the basic | text font style to be displayed in STS at 10px (9px + 1px). However I would still expect the font configuration of basic | text font to show a configured value of 9px when I viewed it in preferences rather than it appearing to have been configured to be 10px. Does that make sense? Perhaps it makes sense to get input from others here as I may not be representing a common viewpoint here.
        Hide
        mlippert Martin Lippert added a comment -

        Also sounds like a general contribution to the Eclipse IDE space and useful for people using just Eclipse instead of STS. Agree?

        Show
        mlippert Martin Lippert added a comment - Also sounds like a general contribution to the Eclipse IDE space and useful for people using just Eclipse instead of STS. Agree?
        Hide
        eddgrant Edd Grant added a comment -

        Agreed - I'm sure it would be useful if this were available in Eclipse variants.

        Show
        eddgrant Edd Grant added a comment - Agreed - I'm sure it would be useful if this were available in Eclipse variants.
        Hide
        mlippert Martin Lippert added a comment -
        Show
        mlippert Martin Lippert added a comment - Did you tried this: http://marketplace.eclipse.org/content/fonts-size
        Show
        mlippert Martin Lippert added a comment - Or maybe this: http://cubussapiens.hu/2010/10/presentation-theme-for-eclipse/
        Hide
        mlippert Martin Lippert added a comment -

        This project has moved its issue management to GitHub Issues:
        https://github.com/spring-projects/spring-ide/issues

        Therefore we closed the majority of old issues, like this one here. If you think this issue is still valid and should be fixed or worked on, please feel free to file it as a new issue on GitHub (using the link above).

        Show
        mlippert Martin Lippert added a comment - This project has moved its issue management to GitHub Issues: https://github.com/spring-projects/spring-ide/issues Therefore we closed the majority of old issues, like this one here. If you think this issue is still valid and should be fixed or worked on, please feel free to file it as a new issue on GitHub (using the link above).

          People

          • Assignee:
            Unassigned
            Reporter:
            eddgrant Edd Grant
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved: