Skip to content

Commit

Permalink
Merge pull request ninja-ide#519 from diegosarmentero/master
Browse files Browse the repository at this point in the history
Fixing bug for pre key press event.
  • Loading branch information
diegosarmentero committed May 24, 2012
2 parents 6966340 + c669704 commit b6c1487
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ninja_ide/tools/completion/completer_widget.py
Original file line number Diff line number Diff line change
Expand Up @@ -166,7 +166,7 @@ def pre_key_insert_completion(self):
return True

def process_pre_key_event(self, event):
if not self.isVisible():
if not self.isVisible() or self._editor.lang != "python":
return False
skip = self._key_operations.get(event.key(), lambda: False)()
self._key_operations.get(event.modifiers(), lambda: False)()
Expand Down

0 comments on commit b6c1487

Please sign in to comment.