mirror of
https://github.com/SpaceVim/SpaceVim.git
synced 2025-01-23 20:00:05 +08:00
perf(git): update branch manager after delete branch
This commit is contained in:
parent
1c3e61b5c5
commit
85b35020e0
@ -4,6 +4,7 @@ local job = require('spacevim.api.job')
|
|||||||
local nt = require('spacevim.api.notify')
|
local nt = require('spacevim.api.notify')
|
||||||
local log = require('git.log')
|
local log = require('git.log')
|
||||||
local str = require('spacevim.api.data.string')
|
local str = require('spacevim.api.data.string')
|
||||||
|
local branch_ui = require('git.ui.branch')
|
||||||
|
|
||||||
local branch = ''
|
local branch = ''
|
||||||
local branch_info = {}
|
local branch_info = {}
|
||||||
@ -93,6 +94,7 @@ end
|
|||||||
|
|
||||||
local function on_exit(id, code, single)
|
local function on_exit(id, code, single)
|
||||||
M.detect()
|
M.detect()
|
||||||
|
branch_ui.update()
|
||||||
log.debug('branch exit code:' .. code .. ' single:' .. single)
|
log.debug('branch exit code:' .. code .. ' single:' .. single)
|
||||||
if id ~= branch_jobid then
|
if id ~= branch_jobid then
|
||||||
return
|
return
|
||||||
|
Loading…
Reference in New Issue
Block a user