Add new refresh command so that refreshing by shortcut is possible

Closes #89

package.json

@@ -49,6 +49,12 @@
 				"title": "Blame: Focus last commit at cursor position in graph view",
 				"category": "git log --graph",
 				"icon": "$(git-commit)"
+			},
+			{
+				"command": "git-log--graph.refresh",
+				"title": "Refresh the main view",
+				"category": "git log --graph",
+				"icon": "$(refresh)"
 			}
 		],
 		"views": {

src/extension.coffee

@@ -314,6 +314,10 @@ module.exports.activate = (###* @type vscode.ExtensionContext ### context) =>
 		vscode.commands.executeCommand(START_CMD)
 		push_message_id 'scroll-to-selected-commit'
 
+	context.subscriptions.push vscode.commands.registerCommand 'git-log--graph.refresh', =>
+		log.appendLine "refresh command"
+		push_message_id 'refresh-main-view'
+
 	# public api of this extension:
 	{ git, post_message, webview_container, context, state }
 

web/src/views/store.coffee

@@ -197,4 +197,6 @@ export init = =>
 		await refresh_config()
 		refresh_main_view()
 
-	add_push_listener 'repo-external-state-change', => refresh_main_view()
+	add_push_listener 'repo-external-state-change', => refresh_main_view()
+
+	add_push_listener 'refresh-main-view', => refresh_main_view()