Skip to content
This repository was archived by the owner on Sep 6, 2021. It is now read-only.
This repository was archived by the owner on Sep 6, 2021. It is now read-only.

Font size and line height preferences #7800

@dangoor

Description

@dangoor

Breaking this out into a separate issue to be resolved before Themes can land.

As @TomMalbran suggested in the themes pull request:

The font settings should be merged with the Increase/Decrease Font Size commands. I am thinking that we should make the fontSizeStyle view state a preference to store the font size and add a new preferences for the line height and the font family. But to make things simpler, the font size preference should just be a number which is then interpreted as the size of the font in px, and the line height should also be a number (float) which is then interpreted as the line height in ems. All these preference will be added in ViewCommandsHandlers so that we can use the same functions to update the style when the preferences change.

Since we don't have an UI for the preferences I am not sure if we should keep the UI used with the themes or just don't use any UI at the moment.

I don't mind keeping the [Themes] dialog. But when saving, it should only change the preferences values and the code in View Commands Manger can deal with the preference change.

cc @MiguelCastillo

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions