Skip to content

Commit

Permalink
don't lint unsaved documents
Browse files Browse the repository at this point in the history
  • Loading branch information
jjallaire committed Oct 9, 2015
1 parent 06c0442 commit 9cbef2e
Showing 1 changed file with 4 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -179,6 +179,10 @@ void initialize(LintServerOperations server,

private void lintActiveDocument(final LintContext context)
{
// don't lint if this is an unsaved document
if (target_.getPath() == null)
return;

if (context.showMarkers)
{
target_.saveThenExecute(null, new Command()
Expand Down

0 comments on commit 9cbef2e

Please sign in to comment.