Add diff options as icon buttons#108

jorio merged 13 commits into

jorio:masterjorio/gitfourchette:masterfrom

stdout-se:wip/diffbuttonsstdout-se/gitfourchette:wip/diffbuttonsCopy head branch name to clipboard