fix: rename run panel to panel
This commit is contained in:
parent
c29ec1c6b0
commit
018d801121
9 changed files with 53 additions and 54 deletions
|
|
@ -109,9 +109,9 @@ function M.handle_command(opts)
|
|||
if cmd.action == 'interact' then
|
||||
ui.toggle_interactive(cmd.interactor_cmd)
|
||||
elseif cmd.action == 'run' then
|
||||
ui.toggle_run_panel()
|
||||
ui.toggle_panel()
|
||||
elseif cmd.action == 'debug' then
|
||||
ui.toggle_run_panel({ debug = true })
|
||||
ui.toggle_panel({ debug = true })
|
||||
elseif cmd.action == 'next' then
|
||||
setup.navigate_problem(1)
|
||||
elseif cmd.action == 'prev' then
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue