dag: add ctrl-f search to the DAG diff viewer
commit407221b93982a77d9be01097db5a6f6da6ae55ce
authorDavid Aguilar <davvid@gmail.com>
Thu, 23 Mar 2023 06:42:06 +0000 (22 23:42 -0700)
committerDavid Aguilar <davvid@gmail.com>
Thu, 23 Mar 2023 06:50:06 +0000 (22 23:50 -0700)
treed694cf5296326a232fbb16d4ce8c7504778eefdc
parentde1c4f2b7cd6aabb99aa3197a5d99047ae69dc65
dag: add ctrl-f search to the DAG diff viewer

Add a diff panel widget to provide the same "Search Diff" feature that
we have in the main commit/diff tool.

The DiffPanel widget contains the DiffWidget and a hidden
TextSearchWidget for performing searches. Use this panel in the DAG
widget to add the search feature.

Related-to: #1116
Signed-off-by: David Aguilar <davvid@gmail.com>
cola/widgets/dag.py
cola/widgets/diff.py