ore.stopDev();
				} else {
					this.store.startDev();
				}
			},

			open(event) {
				event.preventDefault();
				shell.openExternal(event.target.href);
			},

			reveal(event, info) {
				event.preventDefault();

				const { lastSelectedEditor, dir } = this.store.get();

				this.store.selectFile(path.resolve(dir, info.file), {
					line: info.line,
					column: info.column
				});

				if (lastSelectedEditor) {
					lastSelectedEditor.locate(info.line, info.column);
				}
			}
		}
	};
</script>