Issue #22: jumping between modified files in source explorer