main: add "Repository Quick Search" to the main menu
commit4fed626a553d3a703362564cf16b8202ad80222d
authorDavid Aguilar <davvid@gmail.com>
Fri, 20 Jan 2023 07:30:51 +0000 (19 23:30 -0800)
committerDavid Aguilar <davvid@gmail.com>
Fri, 20 Jan 2023 07:30:51 +0000 (19 23:30 -0800)
tree3c087d1d41c0b3209348026c98829b100cd455e5
parent43e7c81c389fbcb6085bbe244d9105bd6ebb65ac
main: add "Repository Quick Search" to the main menu

Make this great feature easier to find.

Related-to: #1282
Signed-off-by: David Aguilar <davvid@gmail.com>
cola/widgets/bookmarks.py
cola/widgets/main.py