idea-gitignore
idea-gitignore copied to clipboard
Stop "you are editing a file that is ignored" banner from displaying if file is not editable.
Fixes #738, by checking if the file can be edited before displaying the banner telling them they're editing it.