@lvce-editor/server 0.13.0 → 0.14.0

package/static/5a94137/packages/renderer-process/src/parts/ViewletMain/ViewletMainFunctions.js

@@ -0,0 +1,29 @@
+import * as RendererWorker from '../RendererWorker/RendererWorker.js'
+
+export const handleDragOver = (x, y) => {
+  RendererWorker.send('Main.handleDragOver', x, y)
+}
+
+export const handleDropFiles = (files) => {
+  RendererWorker.send('Main.handleDrop', files)
+}
+
+export const handleDropFilePath = (filePath) => {
+  RendererWorker.send('Main.handleDropFilePath', filePath)
+}
+
+export const handleDragEnd = (x, y) => {
+  RendererWorker.send('Main.handleDragEnd', x, y)
+}
+
+export const closeEditor = (index) => {
+  RendererWorker.send('Main.closeEditor', index)
+}
+
+export const handleTabClick = (index) => {
+  RendererWorker.send('Main.handleTabClick', index)
+}
+
+export const handleTabContextMenu = (index, x, y) => {
+  RendererWorker.send('Main.handleTabContextMenu', index, x, y)
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletMainTabs/ViewletMainTabEvents.js

@@ -0,0 +1,83 @@
+import * as AllowedDragEffectType from '../AllowedDragEffectType/AllowedDragEffectType.js'
+import * as Event from '../Event/Event.js'
+import * as MouseEventType from '../MouseEventType/MouseEventType.js'
+import * as ViewletMainTabsFunctions from './ViewletMainTabsFunctions.js'
+
+const ClassNames = {
+  Label: 'Label',
+  EditorTabCloseButton: 'EditorTabCloseButton',
+  MainTab: 'MainTab',
+}
+
+export const handleDragStart = (event) => {
+  event.dataTransfer.effectAllowed = AllowedDragEffectType.CopyMove
+}
+
+const getNodeIndex = ($Node) => {
+  let index = 0
+  while (($Node = $Node.previousElementSibling)) {
+    index++
+  }
+  return index
+}
+
+const getIndex = ($Target) => {
+  switch ($Target.className) {
+    case ClassNames.EditorTabCloseButton:
+    case ClassNames.Label:
+      return getNodeIndex($Target.parentNode)
+    case ClassNames.MainTab:
+      return getNodeIndex($Target)
+    default:
+      return -1
+  }
+}
+
+export const handleTabCloseButtonMouseDown = (event, index) => {
+  ViewletMainTabsFunctions.closeEditor(index)
+}
+
+export const handleTabMouseDown = (event, index) => {
+  const { button } = event
+  switch (button) {
+    case MouseEventType.LeftClick:
+      ViewletMainTabsFunctions.handleTabClick(index)
+      break
+    case MouseEventType.MiddleClick:
+      ViewletMainTabsFunctions.closeEditor(index)
+      break
+    case MouseEventType.RightClick:
+      break
+    default:
+      break
+  }
+}
+
+export const handleTabsMouseDown = (event) => {
+  const { target } = event
+  const index = getIndex(target)
+  if (index === -1) {
+    return
+  }
+  switch (target.className) {
+    case ClassNames.EditorTabCloseButton:
+      handleTabCloseButtonMouseDown(event, index)
+      break
+    case ClassNames.MainTab:
+    case ClassNames.Label:
+      handleTabMouseDown(event, index)
+      break
+    default:
+      break
+  }
+}
+
+export const handleTabsContextMenu = (event) => {
+  const { clientX, clientY, target } = event
+  const index = getIndex(target)
+  if (index === -1) {
+    return
+  }
+  Event.preventDefault(event)
+  ViewletMainTabsFunctions.handleTabContextMenu(index, clientX, clientY)
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletMainTabs/ViewletMainTabs.js

@@ -0,0 +1,25 @@
+import * as ViewletMainTabEvents from './ViewletMainTabEvents.js'
+import * as Tab from '../Tab/Tab.js'
+import * as AriaRoles from '../AriaRoles/AriaRoles.js'
+
+export const create = () => {
+  const $MainTabs = document.createElement('div')
+  $MainTabs.className = 'Viewlet MainTabs'
+  // @ts-ignore
+  $MainTabs.role = AriaRoles.TabList
+  $MainTabs.onmousedown = ViewletMainTabEvents.handleTabsMouseDown
+  $MainTabs.oncontextmenu = ViewletMainTabEvents.handleTabsContextMenu
+  $MainTabs.ondragstart = ViewletMainTabEvents.handleDragStart
+  // TODO race condition: what if tab has already been closed?
+  return {
+    $Viewlet: $MainTabs,
+  }
+}
+
+export const setTabs = (state, tabs) => {
+  const { $Viewlet } = state
+  for (const tab of tabs) {
+    const $Tab = Tab.create(tab.label, tab.title, false)
+    $Viewlet.append($Tab)
+  }
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletMainTabs/ViewletMainTabsFunctions.js

@@ -0,0 +1,13 @@
+import * as RendererWorker from '../RendererWorker/RendererWorker.js'
+
+export const closeEditor = (index) => {
+  RendererWorker.send('Main.closeEditor', index)
+}
+
+export const handleTabClick = (index) => {
+  RendererWorker.send('Main.handleTabClick', index)
+}
+
+export const handleTabContextMenu = (index, x, y) => {
+  RendererWorker.send('Main.handleTabContextMenu', index, x, y)
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletModule/ViewletModule.js

@@ -0,0 +1,90 @@
+import * as ViewletModuleId from '../ViewletModuleId/ViewletModuleId.js'
+
+export const load = (moduleId) => {
+  switch (moduleId) {
+    case ViewletModuleId.ImagePreview:
+      return import('../ImagePreview/ImagePreview.js')
+    case ViewletModuleId.ActivityBar:
+      return import('../ViewletActivityBar/ViewletActivityBar.js')
+    case ViewletModuleId.Audio:
+      return import('../ViewletAudio/ViewletAudio.js')
+    case ViewletModuleId.Clock:
+      return import('../ViewletClock/ViewletClock.js')
+    case ViewletModuleId.ColorPicker:
+      return import('../ViewletColorPicker/ViewletColorPicker.js')
+    case ViewletModuleId.DebugConsole:
+      return import('../ViewletDebugConsole/ViewletDebugConsole.js')
+    case ViewletModuleId.Dialog:
+      return import('../ViewletDialog/ViewletDialog.js')
+    case ViewletModuleId.DiffEditor:
+      return import('../ViewletDiffEditor/ViewletDiffEditor.js')
+    case ViewletModuleId.EditorCompletion:
+      return import('../ViewletEditorCompletion/ViewletEditorCompletion.js')
+    case ViewletModuleId.EditorImage:
+      return import('../ViewletEditorImage/ViewletEditorImage.js')
+    case ViewletModuleId.EditorPlainText:
+      return import('../ViewletEditorPlainText/ViewletEditorPlainText.js')
+    case ViewletModuleId.EditorText:
+      return import('../ViewletEditorText/ViewletEditorText.js')
+    case ViewletModuleId.Empty:
+      return import('../ViewletEmpty/ViewletEmpty.js')
+    case ViewletModuleId.Error:
+      return import('../ViewletError/ViewletError.js')
+    case ViewletModuleId.Explorer:
+      return import('../ViewletExplorer/ViewletExplorer.js')
+    case ViewletModuleId.ExtensionDetail:
+      return import('../ViewletExtensionDetail/ViewletExtensionDetail.js')
+    case ViewletModuleId.Extensions:
+      return import('../ViewletExtensions/ViewletExtensions.js')
+    case ViewletModuleId.FindWidget:
+      return import('../ViewletFindWidget/ViewletFindWidget.js')
+    case ViewletModuleId.Implementations:
+      return import('../ViewletImplementations/ViewletImplementations.js')
+    case ViewletModuleId.KeyBindings:
+      return import('../ViewletKeyBindings/ViewletKeyBindings.js')
+    case ViewletModuleId.Layout:
+      return import('../ViewletLayout/ViewletLayout.js')
+    case ViewletModuleId.Main:
+      return import('../ViewletMain/ViewletMain.js')
+    case ViewletModuleId.MainTabs:
+      return import('../ViewletMainTabs/ViewletMainTabs.js')
+    case ViewletModuleId.Output:
+      return import('../ViewletOutput/ViewletOutput.js')
+    case ViewletModuleId.Panel:
+      return import('../ViewletPanel/ViewletPanel.js')
+    case ViewletModuleId.Pdf:
+      return import('../ViewletPdf/ViewletPdf.js')
+    case ViewletModuleId.Problems:
+      return import('../ViewletProblems/ViewletProblems.js')
+    case ViewletModuleId.QuickPick:
+      return import('../ViewletQuickPick/ViewletQuickPick.js')
+    case ViewletModuleId.References:
+      return import('../ViewletReferences/ViewletReferences.js')
+    case ViewletModuleId.RunAndDebug:
+      return import('../ViewletRunAndDebug/ViewletRunAndDebug.js')
+    case ViewletModuleId.Search:
+      return import('../ViewletSearch/ViewletSearch.js')
+    case ViewletModuleId.SideBar:
+      return import('../ViewletSideBar/ViewletSideBar.js')
+    case ViewletModuleId.SimpleBrowser:
+      return import('../ViewletSimpleBrowser/ViewletSimpleBrowser.js')
+    case ViewletModuleId.SourceControl:
+      return import('../ViewletSourceControl/ViewletSourceControl.js')
+    case ViewletModuleId.StatusBar:
+      return import('../ViewletStatusBar/ViewletStatusBar.js')
+    case ViewletModuleId.Terminal:
+      return import('../ViewletTerminal/ViewletTerminal.js')
+    case ViewletModuleId.TitleBar:
+      return import('../ViewletTitleBar/ViewletTitleBar.js')
+    case ViewletModuleId.TitleBarButtons:
+      return import('../ViewletTitleBarButtons/ViewletTitleBarButtons.js')
+    case ViewletModuleId.TitleBarIcon:
+      return import('../ViewletTitleBarIcon/ViewletTitleBarIcon.js')
+    case ViewletModuleId.TitleBarMenuBar:
+      return import('../ViewletTitleBarMenuBar/ViewletTitleBarMenuBar.js')
+    case ViewletModuleId.Video:
+      return import('../ViewletVideo/ViewletVideo.js')
+    default:
+      throw new Error(`unknown module ${moduleId}`)
+  }
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletModuleId/ViewletModuleId.js

@@ -0,0 +1,81 @@
+export const ActivityBar = 'ActivityBar'
+
+export const Audio = 'Audio'
+
+export const Clock = 'Clock'
+
+export const ColorPicker = 'ColorPicker'
+
+export const DebugConsole = 'Debug Console'
+
+export const Dialog = 'Dialog'
+
+export const DiffEditor = 'DiffEditor'
+
+export const EditorCompletion = 'EditorCompletion'
+
+export const EditorImage = 'EditorImage'
+
+export const EditorPlainText = 'EditorPlainText'
+
+export const EditorText = 'EditorText'
+
+export const Empty = 'Empty'
+
+export const Error = 'Error'
+
+export const Explorer = 'Explorer'
+
+export const ExtensionDetail = 'ExtensionDetail'
+
+export const Extensions = 'Extensions'
+
+export const FindWidget = 'FindWidget'
+
+export const ImagePreview = 'ImagePreview'
+
+export const Implementations = 'Implementations'
+
+export const KeyBindings = 'KeyBindings'
+
+export const Layout = 'Layout'
+
+export const Main = 'Main'
+
+export const MainTabs = 'MainTabs'
+
+export const Output = 'Output'
+
+export const Panel = 'Panel'
+
+export const Pdf = 'Pdf'
+
+export const Problems = 'Problems'
+
+export const QuickPick = 'QuickPick'
+
+export const References = 'References'
+
+export const RunAndDebug = 'Run And Debug'
+
+export const Search = 'Search'
+
+export const SideBar = 'SideBar'
+
+export const SimpleBrowser = 'SimpleBrowser'
+
+export const SourceControl = 'Source Control'
+
+export const StatusBar = 'StatusBar'
+
+export const Terminal = 'Terminal'
+
+export const TitleBar = 'TitleBar'
+
+export const TitleBarButtons = 'TitleBarButtons'
+
+export const TitleBarIcon = 'TitleBarIcon'
+
+export const TitleBarMenuBar = 'TitleBarMenuBar'
+
+export const Video = 'Video'

package/static/5a94137/packages/renderer-process/src/parts/ViewletOutput/ViewletOutputEvents.js

@@ -0,0 +1,7 @@
+import * as ViewletOutputFunctions from './ViewletOutputFunctions.js'
+
+export const handleChange = (event) => {
+  const $Target = event.target
+  const value = $Target.value
+  ViewletOutputFunctions.setOutputChannel(value)
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletOutput/ViewletOutputFunctions.js

@@ -0,0 +1,5 @@
+import * as RendererWorker from '../RendererWorker/RendererWorker.js'
+
+export const setOutputChannel = (value) => {
+  RendererWorker.send('Output', 'setOutputChannel', value)
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletPanel/ViewletPanel.js

@@ -0,0 +1,149 @@
+import * as Actions from '../Actions/Actions.js'
+import * as AriaRoles from '../AriaRoles/AriaRoles.js'
+import * as Assert from '../Assert/Assert.js'
+import * as DomAttributeType from '../DomAttributeType/DomAttributeType.js'
+import * as Icon from '../Icon/Icon.js'
+import * as IconButton from '../IconButton/IconButton.js'
+import * as RendererWorker from '../RendererWorker/RendererWorker.js'
+import * as ViewletPanelEvents from './ViewletPanelEvents.js'
+/**
+ * @enum {string}
+ */
+const UiStrings = {
+  Close: 'Close',
+}
+
+const create$PanelTab = (label, index) => {
+  const $PanelTab = document.createElement('div')
+  $PanelTab.className = 'PanelTab'
+  // @ts-ignore
+  $PanelTab.role = AriaRoles.Tab
+  $PanelTab.textContent = label
+  $PanelTab.id = `PanelTab-${index + 1}`
+  return $PanelTab
+}
+
+const getNodeIndex = ($Node) => {
+  let index = 0
+  while (($Node = $Node.previousElementSibling)) {
+    index++
+  }
+  return index
+}
+
+const panelTabsHandleClick = (event) => {
+  const $Target = event.target
+  switch ($Target.className) {
+    case 'PanelTab': {
+      const index = getNodeIndex($Target)
+      RendererWorker.send(/* Panel.selectIndex */ 'Panel.selectIndex', /* index */ index)
+      break
+    }
+    default:
+      break
+  }
+}
+
+export const create = () => {
+  const $PanelTabs = document.createElement('div')
+  $PanelTabs.className = 'PanelTabs'
+  // @ts-ignore
+  $PanelTabs.role = AriaRoles.TabList
+  $PanelTabs.onmousedown = panelTabsHandleClick
+  $PanelTabs.tabIndex = -1
+
+  const $ButtonClose = IconButton.create$Button(UiStrings.Close, Icon.Close)
+  $ButtonClose.onclick = ViewletPanelEvents.handleClickClose
+
+  const $PanelToolBar = document.createElement('div')
+  $PanelToolBar.className = 'PanelToolBar'
+  // @ts-ignore
+  $PanelToolBar.role = AriaRoles.ToolBar
+  $PanelToolBar.append($ButtonClose)
+
+  const $PanelHeader = document.createElement('div')
+  $PanelHeader.className = 'PanelHeader'
+  $PanelHeader.append($PanelTabs, $PanelToolBar)
+  // const $PanelContent = document.createElement('div')
+  // $PanelContent.id = 'PanelContent'
+  const $Viewlet = document.createElement('div')
+  $Viewlet.id = 'Panel'
+  $Viewlet.className = 'Viewlet Panel'
+  $Viewlet.append($PanelHeader)
+  $Viewlet.ariaLabel = 'Panel'
+  return {
+    $Panel: $Viewlet,
+    $Viewlet,
+    $PanelTabs,
+    $PanelHeader,
+    $PanelContent: undefined,
+  }
+  // await openViewlet('Terminal')
+}
+
+export const setTabs = (state, tabs) => {
+  const { $PanelTabs } = state
+  $PanelTabs.append(...tabs.map(create$PanelTab))
+}
+
+export const appendViewlet = (state, name, $Viewlet) => {
+  Assert.object(state)
+  Assert.string(name)
+  Assert.object($Viewlet)
+  // TODO is it a problem that the id is duplicated for a short amount of time here?
+  $Viewlet.id = 'PanelContent'
+  if (state.$PanelContent) {
+    state.$PanelContent.replaceWith($Viewlet)
+  } else {
+    state.$Panel.append($Viewlet)
+  }
+  state.$PanelContent = $Viewlet
+}
+
+// TODO add test for focus method
+export const focus = (state) => {
+  Assert.object(state)
+  if (!state.currentViewlet) {
+    return
+  }
+  state.currentViewlet.factory.focus(state.currentViewlet.state)
+}
+
+export const dispose = (state) => {
+  if (state.$PanelContent) {
+    state.$PanelContent.remove()
+    state.$PanelContent = undefined
+  }
+  if (state.$PanelTabs) {
+    state.$PanelTabs.remove()
+    state.$PanelTabs = undefined
+  }
+  if (state.$PanelHeader) {
+    state.$PanelHeader.remove()
+    state.$PanelHeader = undefined
+  }
+}
+
+export const setSelectedIndex = (state, oldIndex, newIndex) => {
+  const { $PanelTabs } = state
+  if (oldIndex !== -1) {
+    const $PanelTab = $PanelTabs.children[oldIndex]
+    $PanelTab.removeAttribute(DomAttributeType.AriaSelected)
+  }
+  if (newIndex !== -1) {
+    const $PanelTab = $PanelTabs.children[newIndex]
+    $PanelTab.ariaSelected = true
+    $PanelTabs.setAttribute(DomAttributeType.AriaActiveDescendant, $PanelTab.id)
+  }
+}
+
+export const setActions = (state, actions) => {
+  const { $PanelTabs, $Actions } = state
+  const $NewActions = Actions.create(actions)
+  if ($Actions) {
+    $Actions.replaceWith($NewActions)
+  } else {
+    $PanelTabs.after($NewActions)
+  }
+  state.$Actions = $NewActions
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletPanel/ViewletPanelEvents.js

@@ -0,0 +1,5 @@
+import * as ViewletPanelFunctions from './ViewletPanelFunctions.js'
+
+export const handleClickClose = (event) => {
+  ViewletPanelFunctions.hidePanel()
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletPanel/ViewletPanelFunctions.js

@@ -0,0 +1,5 @@
+import * as RendererWorker from '../RendererWorker/RendererWorker.js'
+
+export const hidePanel = () => {
+  RendererWorker.send('Layout.hidePanel')
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletPdf/ViewletPdf.js

@@ -0,0 +1,88 @@
+import * as Icon from '../Icon/Icon.js'
+import * as IconButton from '../IconButton/IconButton.js'
+import * as InputBox from '../InputBox/InputBox.js'
+import * as InputType from '../InputType/InputType.js'
+import * as OffscreenCanvas from '../OffscreenCanvas/OffscreenCanvas.js'
+import * as ViewletPdfEvents from './ViewletPdfEvents.js'
+
+/**
+ * @enum {string}
+ */
+const UiStrings = {
+  Next: 'Next',
+  Previous: 'Previous',
+  ZoomIn: 'Zoom in',
+  ZoomOut: 'Zoom out',
+  Print: 'Print',
+}
+
+export const create = () => {
+  const $Viewlet = document.createElement('div')
+  $Viewlet.className = 'Viewlet Pdf'
+
+  const $ButtonPreviousPage = IconButton.create$Button(UiStrings.Previous, Icon.ChevronUp)
+  $ButtonPreviousPage.onclick = ViewletPdfEvents.handleClickPrevious
+
+  const $ButtonNextPage = IconButton.create$Button(UiStrings.Next, Icon.ChevronDown)
+  $ButtonNextPage.onclick = ViewletPdfEvents.handleClickNext
+
+  const $PageNumber = InputBox.create()
+  $PageNumber.type = InputType.Number
+  $PageNumber.classList.add('PdfPageNumber')
+  $PageNumber.min = '1'
+  $PageNumber.autocomplete = 'off'
+
+  const $NumberOfPages = document.createElement('div')
+  $NumberOfPages.textContent = 'of 10'
+  $NumberOfPages.className = 'PdfNumberOfPages'
+
+  const $ButtonZoomIn = IconButton.create$Button(UiStrings.ZoomIn, Icon.ZoomIn)
+  $ButtonZoomIn.onclick = ViewletPdfEvents.handleClickZoomIn
+
+  const $ButtonZoomOut = IconButton.create$Button(UiStrings.ZoomOut, Icon.ZoomOut)
+  $ButtonZoomOut.onclick = ViewletPdfEvents.handleClickZoomOut
+
+  const $ButtonPrint = document.createElement('button')
+  $ButtonPrint.textContent = UiStrings.Print
+  $ButtonPrint.onclick = ViewletPdfEvents.handleClickPrint
+
+  const $PdfToolBar = document.createElement('div')
+  $PdfToolBar.className = 'PdfToolBar'
+  $PdfToolBar.append($ButtonPreviousPage, $ButtonNextPage, $PageNumber, $NumberOfPages, $ButtonZoomIn, $ButtonZoomOut, $ButtonPrint)
+
+  const $PdfContent = document.createElement('div')
+  $PdfContent.className = 'PdfContent'
+
+  $Viewlet.append($PdfToolBar, $PdfContent)
+
+  return {
+    $Viewlet,
+    $ButtonPreviousPage,
+    $ButtonNextPage,
+    $ButtonZoomIn,
+    $ButtonZoomOut,
+    $ButtonPrint,
+    $Canvas: undefined,
+    $PdfContent,
+    $NumberOfPages,
+    $PageNumber,
+  }
+}
+
+export const setCanvas = (state, id) => {
+  const { $PdfContent } = state
+  const $Canvas = OffscreenCanvas.get(id)
+  $PdfContent.append($Canvas)
+  state.$Canvas = $Canvas
+}
+
+export const setNumberOfPages = (state, numberOfPages) => {
+  const { $NumberOfPages, $PageNumber } = state
+  $NumberOfPages.textContent = `of ${numberOfPages}`
+  $PageNumber.max = `${numberOfPages}`
+}
+
+export const setPageNumber = (state, pageNumber) => {
+  const { $PageNumber } = state
+  $PageNumber.value = `${pageNumber + 1}`
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletProblems/ViewletProblems.js

@@ -0,0 +1,40 @@
+import * as Assert from '../Assert/Assert.js'
+import * as ViewletProblemsEvents from './ViewletProblemsEvents.js'
+
+export const create = () => {
+  const $Viewlet = document.createElement('div')
+  $Viewlet.className = 'Viewlet Problems'
+  $Viewlet.tabIndex = 0
+  return {
+    $Viewlet,
+  }
+}
+
+export const attachEvents = (state) => {
+  const { $Viewlet } = state
+  $Viewlet.onpointerdown = ViewletProblemsEvents.handlePointerDown
+}
+
+export const setFocusedIndex = (state, focusedIndex) => {
+  const { $Viewlet } = state
+  if (focusedIndex === -1) {
+    $Viewlet.classList.add('FocusOutline')
+    $Viewlet.focus()
+  }
+}
+
+export const setProblems = (state, problems) => {
+  Assert.object(state)
+  Assert.array(problems)
+  // TODO
+}
+
+export const setMessage = (state, message) => {
+  const { $Viewlet } = state
+  $Viewlet.textContent = message
+}
+
+export const focus = (state) => {
+  const { $Viewlet } = state
+  $Viewlet.focus()
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletProblems/ViewletProblemsEvents.js

@@ -0,0 +1,7 @@
+import * as Event from '../Event/Event.js'
+import * as ViewletProblemsFunctions from './ViewletProblemsFunctions.js'
+
+export const handlePointerDown = (event) => {
+  Event.preventDefault(event)
+  ViewletProblemsFunctions.focusIndex(-1)
+}

package/static/5a94137/packages/renderer-process/src/parts/ViewletProblems/ViewletProblemsFunctions.js

@@ -0,0 +1,5 @@
+import * as RendererWorker from '../RendererWorker/RendererWorker.js'
+
+export const focusIndex = (index) => {
+  RendererWorker.send('Problems.focusIndex', -1)
+}