fix: rename file

This commit is contained in:
Barrett Ruth 2025-10-23 23:55:27 -04:00
parent 64b8b03cca
commit 7e2e712b56
3 changed files with 3 additions and 3 deletions

View file

@ -130,7 +130,7 @@ function M.handle_command(opts)
restore.restore_from_current_file() restore.restore_from_current_file()
elseif cmd.type == 'action' then elseif cmd.type == 'action' then
local setup = require('cp.setup') local setup = require('cp.setup')
local ui = require('cp.ui.panel') local ui = require('cp.ui.views')
if cmd.action == 'interact' then if cmd.action == 'interact' then
ui.toggle_interactive(cmd.interactor_cmd) ui.toggle_interactive(cmd.interactor_cmd)

View file

@ -203,7 +203,7 @@ function M.setup_problem(problem_id, language)
state.get_problem_id() or '', state.get_problem_id() or '',
lang lang
) )
require('cp.ui.panel').ensure_io_view() require('cp.ui.views').ensure_io_view()
end end
state.set_provisional(nil) state.set_provisional(nil)
return return
@ -271,7 +271,7 @@ function M.navigate_problem(direction)
local active_panel = state.get_active_panel() local active_panel = state.get_active_panel()
if active_panel == 'run' then if active_panel == 'run' then
require('cp.ui.panel').disable() require('cp.ui.views').disable()
end end
M.setup_contest(platform, contest_id, problems[new_index].id) M.setup_contest(platform, contest_id, problems[new_index].id)