Compare to index#68

Open

sharwell wants to merge 2 commits intolaurentkempe:masterfrom

sharwell:compare-to-index

Commits on Sep 18, 2014

Enable the diff margin separately from the selection margin
sharwell
committed
Implement the internal commands "Toggle Compare to Index", "Compare to Index", and "Compare to Head"
sharwell
committed