Skip to content
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

Allow the text editor font size to be configured through the Settings dialog #42

Closed
magjac opened this issue Sep 14, 2018 · 1 comment
Closed

Allow the text editor font size to be configured through the Settings dialog #42

magjac opened this issue Sep 14, 2018 · 1 comment
Assignees
@magjac
Labels
enhancement New feature or request
Projects
Graphviz Visual Editor short-term act...

Comments

@magjac
Copy link
Owner

magjac commented Sep 14, 2018

Today it's fixed at 12 points.
@magjac magjac added the enhancement New feature or request label Sep 14, 2018
@magjac magjac changed the title Allow the text editor font size to be configured through the settings dialog Allow the text editor font size to be configured through the Settings dialog Sep 14, 2018
@magjac magjac moved this from To do to In progress in Graphviz Visual Editor short-term activities Sep 15, 2018
@magjac magjac moved this from In progress to Done but not yet merged in Graphviz Visual Editor short-term activities Sep 15, 2018
magjac added a commit that referenced this issue Sep 15, 2018
@magjac
Added user configurable text editor font size
329506b 
#42
@magjac
Copy link
Owner Author

magjac commented Sep 16, 2018

Fixed with 329506b

@magjac magjac closed this as completed Sep 16, 2018
Graphviz Visual Editor short-term activities automation moved this from Done but not yet merged to Done and merged but not yet released Sep 16, 2018
@magjac magjac moved this from Done and merged but not yet released to Done in latest release in Graphviz Visual Editor short-term activities Sep 16, 2018
@magjac magjac self-assigned this Sep 19, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@magjac magjac

Labels
enhancement New feature or request
Projects
Graphviz Visual Editor short-term act...
  
Done in latest release
Milestone
No milestone
Development

No branches or pull requests
1 participant
@magjac