equal
deleted
inserted
replaced
999 filepath, editor_name = name.split("::") |
999 filepath, editor_name = name.split("::") |
1000 if not self._FileEditors.has_key(filepath): |
1000 if not self._FileEditors.has_key(filepath): |
1001 if os.path.isfile(filepath): |
1001 if os.path.isfile(filepath): |
1002 file_extension = os.path.splitext(filepath)[1] |
1002 file_extension = os.path.splitext(filepath)[1] |
1003 |
1003 |
1004 editors = dict([(editor_name, editor) |
1004 editors = dict([(edit_name, edit_class) |
1005 for extension, editor_name, editor in features.file_editors |
1005 for extension, edit_name, edit_class in features.file_editors |
1006 if extension == file_extension]) |
1006 if extension == file_extension]) |
1007 |
1007 |
1008 if editor_name == "": |
1008 if editor_name == "": |
1009 if len(editors) == 1: |
1009 if len(editors) == 1: |
1010 editor_name = editors.keys()[0] |
1010 editor_name = editors.keys()[0] |