widgets.grep: Add an 'Edit' button
commit57b955b799967e9bfe28b09e1dd0dc7c1e4e04a9
authorDavid Aguilar <davvid@gmail.com>
Wed, 28 Mar 2012 09:03:07 +0000 (28 02:03 -0700)
committerDavid Aguilar <davvid@gmail.com>
Wed, 28 Mar 2012 09:25:53 +0000 (28 02:25 -0700)
treeed1ee38ca43a2b8feedff8b15e358035df89e88c
parent59ac741fdf7e09ca4262d84021daee9932b81ca3
widgets.grep: Add an 'Edit' button

Make the GUI more discoverable by displaying its unique feature.

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