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

remove report comments setting from Input gestures dialog #5572

Closed
JamaicanUser opened this issue Dec 3, 2015 · 2 comments
Closed

remove report comments setting from Input gestures dialog #5572

JamaicanUser opened this issue Dec 3, 2015 · 2 comments

Comments

@JamaicanUser
Copy link

The Input gestures dialog, under Document formatting, has a setting to toggle the reporting of comments. I think this should be removed, as this is not a Document formatting setting.
@jcsteh
Copy link
Contributor

jcsteh commented Dec 3, 2015

@michaelDCurran: Apparently, you added the reportComments config option in 48100a0. That commit notes you didn't add a GUI option yet. Was this an oversight or did you see no point in adding this for users; i.e. it was only for advanced config tweakers? If the latter, we should definitely remove the gesture (which was added as part of #4898).

@JamaicanUser
Copy link
Author

Already taken care of via a new setting a few months back.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jcsteh @JamaicanUser