Re: [PATCH] gitk: Add "First parent" checkbox

Jonathan Nieder [off-list ref] wrote:

Stefan Haller wrote:

quoted

Matthieu made the suggestion of "line-wrapping" the widgets in the diff
pane header if it becomes too narrow.

Hmm.  I don't like where this method tends in the limit.

Maybe we need a notion of a "diff view", for setting up various
diff-tree options (word diff, whitespace options, context lines,
patience, diffstat, first-parent)?  The diff pane could then provide a
drop-down box for diff views already set up.

I don't think I would like this.  Most of the diff related options are
ones that I want to toggle with one click.  That's certainly true for
"Ignore space change", "First parent", and the "Diff/Old Version/New
Version" radio buttons.  I would hate to see any of them be removed from
the diff pane.


-- 
Stefan Haller
Berlin, Germany
http://www.haller-berlin.de/