# HG changeset patch # User laurent # Date 1343749098 -7200 # Node ID 92071c4b85e992a0c95baaba0f3c922e393879bf # Parent afcc13faecd5cf1bcbe395bf33fd723bbb7de5da Fix bug when opening File Editor diff -r afcc13faecd5 -r 92071c4b85e9 ProjectController.py --- a/ProjectController.py Sun Jul 29 19:33:52 2012 +0200 +++ b/ProjectController.py Tue Jul 31 17:38:18 2012 +0200 @@ -1001,8 +1001,8 @@ if os.path.isfile(filepath): file_extension = os.path.splitext(filepath)[1] - editors = dict([(editor_name, editor) - for extension, editor_name, editor in features.file_editors + editors = dict([(edit_name, edit_class) + for extension, edit_name, edit_class in features.file_editors if extension == file_extension]) if editor_name == "":