add width to guifont settings #1227
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Huh, why did you close the PR? The change could be useful for sure! |
|
Ah, sorry, though you did not like it. |
|
marking it as draft because there are one or two things I'd like to do. |
|
Did anything change in that regard? Else I think this could be just merged. |
|
any progress about this? |
Closed
MultisampledNight
force-pushed
the
main
branch
from
cd8afa7
to
bc180a6
Compare
|
Rebased on top of main, intending to merge this. I do want to change the width behavior though, since I believe an offset would be more comfortable to use. Also need to add it to the docs that were added in meantime. |
|
Woah, quite a time ago. Sorry to have kept you waiting for a year and a half, but thank you still!! Choooooooooo choooooooooooooooo! 🚂 |
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What kind of change does this PR introduce?
Allows for letter spacing by setting the width in guifont
Did this PR introduce a breaking change?
No