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

Some customization options have wrong types #254

Closed
phst opened this issue Sep 8, 2017 · 0 comments
Closed

Some customization options have wrong types #254

phst opened this issue Sep 8, 2017 · 0 comments
Labels
bug

Comments

@phst
Copy link
Contributor

phst commented Sep 8, 2017

The types for the following customization options are incorrect:

  • markdown-open-command: should be (choice string (const nil)) to allow nil
  • markdown-uri-types and markdown-hr-strings: should be (repeat string)
@jrblevin jrblevin added the bug label Sep 15, 2017
phst added a commit to phst/markdown-mode that referenced this issue Sep 23, 2017
@phst
Fix customization types
6b34f4e 
Fixes jrblevin#254
@phst phst mentioned this issue Sep 23, 2017
Merged
jrblevin pushed a commit that referenced this issue Sep 23, 2017
@phst @jrblevin
Fix customization types
e391581 
Fixes #254
jrblevin added a commit that referenced this issue Sep 25, 2017
@jrblevin
Update CHANGES.md
6a0b7b2 
Add CHANGES.md entries for the following recent issues and pull
requests:

- GH-227
- GH-238
- GH-246
- GH-254
- GH-257
- GH-258
- GH-259
- GH-260
- GH-261
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@phst @jrblevin