New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace fontSize buttons with increase/decrease/textbox #227

Draft

vekt0r-github wants to merge 1 commit into edemaine:main from vekt0r-github:font-input

vekt0r-github commented Dec 30, 2023

Draft of a feature that replaces the set of predetermined font sizes with the following controls:

A display of the current font size (doubling as a entry point to custom input)
A pair of buttons to decrease and increase the font size, preferring to snap to certain values that increase exponentially (16*1.2^n)
When the first button/display is clicked, the previous buttons are replaced by a text input to directly set the font size (disappears on blur)

Current draft of interface:

If desired, a similar interface for line widths may address #172.


          Replace fontSize buttons with increase/decrease/textbox

3f420c8

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment