1993 if location is not None: |
1993 if location is not None: |
1994 try: |
1994 try: |
1995 e5App().getObject("ViewManager").openSourceFile( |
1995 e5App().getObject("ViewManager").openSourceFile( |
1996 location.resource.real_path, location.lineno, addNext=True) |
1996 location.resource.real_path, location.lineno, addNext=True) |
1997 except TypeError: |
1997 except TypeError: |
1998 # backward compatibility; < 17.03 |
1998 # backward compatibility; <= 17.03 |
1999 e5App().getObject("ViewManager").openSourceFile( |
1999 e5App().getObject("ViewManager").openSourceFile( |
2000 location.resource.real_path, location.lineno, next=True) |
2000 location.resource.real_path, location.lineno, next=True) |
2001 else: |
2001 else: |
2002 e5App().getObject("UserInterface").statusBar().showMessage( |
2002 e5App().getObject("UserInterface").statusBar().showMessage( |
2003 self.tr('No definition found'), 5000) |
2003 self.tr('No definition found'), 5000) |