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

config.c missing option for padding #14

Closed
ghost opened this issue Jan 28, 2014 · 2 comments
Closed

config.c missing option for padding #14

ghost opened this issue Jan 28, 2014 · 2 comments

Comments

@ghost
Copy link

ghost commented Jan 28, 2014

There doesn't appear to be a option to set -padding in config.c.
DaveDavenport added a commit that referenced this issue Jan 28, 2014
@DaveDavenport
Rename inner_margin to padding so it goal is more clear. issue #14
8a05364
@DaveDavenport
Copy link
Collaborator

option was there: inner_margin, renamed to be more clear.

@travankor travankor mentioned this issue Aug 20, 2020
Closed
@github-actions
Copy link

github-actions bot commented Nov 8, 2020

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 8, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@DaveDavenport