Figure 5

Figure 5: Git integration: The IDE highlights all code edits.