From 1b9ee786be5a671e190183a659613d91e7a76f84 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Felix=20H=C3=A4usler?= Date: Wed, 16 Oct 2019 03:17:31 +0200 Subject: [PATCH] Fix lint error (#1492) --- src/renderer/store/editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/renderer/store/editor.js b/src/renderer/store/editor.js index 8594f4bb..5ee20f47 100644 --- a/src/renderer/store/editor.js +++ b/src/renderer/store/editor.js @@ -691,7 +691,7 @@ const actions = { }) }, - RENAME_FILE ({ commit }, file) { + RENAME_FILE ({ commit, dispatch }, file) { commit('SET_CURRENT_FILE', file) dispatch('UPDATE_LINE_ENDING_MENU') bus.$emit('rename')