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

GUI should remember selected font size #1

Open
jensgerlach opened this issue Nov 19, 2013 · 1 comment
Open

GUI should remember selected font size #1

jensgerlach opened this issue Nov 19, 2013 · 1 comment

Comments

@jensgerlach
Copy link

The VeriFast GUI allows to change the font size but it "forgets" the user selection after quitting.
@btj
Copy link
Member

btj commented Nov 25, 2013

A workaround is to specify the fonts on the command line:

vfide -codeFont "Consolas 20" -traceFont "Sans 15"

rafoo pushed a commit to rafoo/verifast that referenced this issue May 24, 2018
@Artalik
Merge pull request verifast#1 from rafoo/array_theory
b7b8bad 
Extend the prover API with primitives of array theory.
SolalPirelli pushed a commit to vigor-nf/verifast that referenced this issue Aug 7, 2019
@necto
Merge pull request verifast#1 from necto/export_path_conditions
35eb620 
Export path conditions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@btj @jensgerlach