2023-11-19 21:37:41 +00:00
|
|
|
new_pane = function()
|
|
|
|
local result = {}
|
2023-11-21 06:23:09 +00:00
|
|
|
result.editor_state = code_editor_state()
|
|
|
|
result.output_editor_state = output_editor_state(result.editor_state)
|
2023-11-19 21:37:41 +00:00
|
|
|
return result
|
|
|
|
end
|