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.

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

fix issue #240 #241

Merged
merged 1 commit into from
Jun 29, 2016
Merged

fix issue #240 #241

merged 1 commit into from
Jun 29, 2016

Conversation

BorzdeG
Copy link
Contributor

@BorzdeG BorzdeG commented Jun 25, 2016

No description provided.

@jshiell
Copy link
Owner

jshiell commented Jun 26, 2016

Thanks for your contribution - it's much appreciated! I'm going to think on this a short while before merging, as I know I've had situations in the past where this behaviour wouldn't suit people (for instance, where configuration files are stored on network drives which end up temporarily unmounted).

My current thought is that this is probably a good compromise, but would benefit from some messaging to the user about what has happened. I'll have a think this afternoon and see if anything else comes to mind.

@BorzdeG
Copy link
Contributor Author

BorzdeG commented Jun 26, 2016

You can disable temporarily IDEA to restart or re-opening the project. As an alternative - to disable the N-minutes, then activated again.

@jshiell
Copy link
Owner

jshiell commented Jun 29, 2016

I'll add some messaging before releasing it - thanks very much!

@jshiell jshiell merged commit feb12e7 into jshiell:master Jun 29, 2016
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