fix(config): padding spacing
This commit is contained in:
parent
3daf582b7a
commit
4b1b75fd6e
7 changed files with 320 additions and 9 deletions
|
|
@ -207,6 +207,9 @@ function M.handle_command(opts)
|
|||
elseif cmd.action == 'pick' then
|
||||
local picker = require('cp.commands.picker')
|
||||
picker.handle_pick_action(cmd.language)
|
||||
elseif cmd.action == 'edit' then
|
||||
local edit = require('cp.ui.edit')
|
||||
edit.toggle_edit(cmd.test_index)
|
||||
end
|
||||
elseif cmd.type == 'problem_jump' then
|
||||
local platform = state.get_platform()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue