diff: move selected_lines() and selected_text() to DiffTextEdit
commit12ea34897667db8cdb4416605fd5a92cb7a2f87f
authorDavid Aguilar <davvid@gmail.com>
Fri, 24 Feb 2023 18:22:08 +0000 (24 10:22 -0800)
committerDavid Aguilar <davvid@gmail.com>
Fri, 24 Feb 2023 18:22:08 +0000 (24 10:22 -0800)
treeacd4c0fb654b6516534e7d1d6da8c55158cf1ae1
parent36f43b13f79988ac2fb59b4f8459ea126382711a
diff: move selected_lines() and selected_text() to DiffTextEdit

This functionality is used by the copy_diff action.

Signed-off-by: David Aguilar <davvid@gmail.com>
cola/widgets/diff.py