Skip to content

Conversation

@molysgaard
Copy link

Currently, the value that is printed for options is its default value, not the actual value it is set to.
This PR fixes this so that it prints the value that the option is actually set to.

@bl4ckb0ne
Copy link
Collaborator

Options display seems indeed wrong, but I don't think that fixes it. I tested it locally and it doesnt print anything.

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

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants