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

Ability to change dot size #32

Closed
jshor opened this issue Dec 16, 2019 · 0 comments · Fixed by #51
Closed

Ability to change dot size #32

jshor opened this issue Dec 16, 2019 · 0 comments · Fixed by #51
Labels
feature A new feature request

Comments

@jshor
Copy link
Owner

jshor commented Dec 16, 2019

As a developer, I would like to be able to specify the desired dot size (in dotty mode) in the config so that dots can be rendered according to the consumer's desire.
@jshor jshor added the feature A new feature request label Dec 16, 2019
@woo-j woo-j mentioned this issue Nov 14, 2020
Closed
jshor added a commit that referenced this issue Mar 29, 2021
@jshor
feat: implements ability to alter dot size #32
148c02c 
Implements dotSize to change the size of the dot in dotty mode.
@jshor jshor linked a pull request Mar 29, 2021 that will close this issue
Version 2 #51
Merged
jshor added a commit that referenced this issue Mar 29, 2021
@jshor
feat: implements ability to alter dot size #32
e08c57f 
Implements dotSize to change the size of the dot in dotty mode.
@jshor jshor closed this as completed in #51 Mar 29, 2021
jshor added a commit that referenced this issue Mar 29, 2021
@jshor
feat: implements ability to alter dot size #32
32b9b42 
Implements dotSize to change the size of the dot in dotty mode.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature A new feature request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Version 2 jshor/symbology
1 participant
@jshor