hide source editor, might cause pinching conflicts

editor-split
Fabien Benetou 2 years ago
parent 110282218c
commit 808a7aedc5
  1. 12
      index.html

@ -3092,8 +3092,16 @@ function onNextPinchSplitReader(){
let checkForNewPinches = setInterval( _ => { let checkForNewPinches = setInterval( _ => {
if (selectedElements.filter( e => e.primary ).length > lastPrimary){ if (selectedElements.filter( e => e.primary ).length > lastPrimary){
let id = getIdFromPick() // applies on primary only let id = getIdFromPick() // applies on primary only
console.log('pinched to split', id, getEditorFromId( id )) if (id) {
if (id) splitEditorHorizontally( getEditorFromId( id ) ) let srcEditor = getEditorFromId( id )
let editorParts = splitEditorHorizontally( srcEditor )
// could position based on hands positions
// should hide or even delete older one
srcEditor.element.setAttribute('visible', false)
// could display a line between current pinch and secondary hand
// or temporary transparency on the 2 new editors
// could attach on hand indexes
}
clearInterval(checkForNewPinches) clearInterval(checkForNewPinches)
} }
}, 50) // relatively cheap check, filtering on small array }, 50) // relatively cheap check, filtering on small array

Loading…
Cancel
Save