Skip to content

Conversation

@ehuss
Copy link

@ehuss ehuss commented Sep 24, 2017

This also changes the command to change the setting for the entire window instead of the current view. I'm uncertain if that is actually desired. What do others think? It's not too hard to leave it per-view, or that could be an option.

This also changes the command to change the setting for the entire window
instead of the current view.
@ehuss ehuss mentioned this pull request Nov 2, 2017
@jasonwilliams
Copy link

conflict @ehuss

@ehuss
Copy link
Author

ehuss commented Nov 26, 2017

With #222 merged, this is unnecessary.

@ehuss ehuss closed this Nov 26, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants