Opening files for editing
  You can launch an editor for a given file in several ways.
  
    - By right-clicking the file in one of the navigation views and then selecting Open from the pop-up
    menu.
- By double-clicking the file in one of the navigation views.
- By double-clicking a bookmark that is associated with that file, in the Bookmarks view.
- By double-clicking an error or warning, or task record that is associated with that file, in the Problems
    view.
All of the above alternatives open the file in the default editor for that type of file. To open it in a different
  editor, select Open With from the file's pop-up menu.
  Editors
  External editors
  Associating editors with file types
  Editing files outside the Workbench
  Linking the Project Explorer view to the active editor
  Tiling editors
  Comparing resources