remove cmdId (#381)

* remove cmdId

* remove log
This commit is contained in:
Kurt Hutten
2023-09-05 20:40:50 +10:00
committed by GitHub
parent cccedceea0
commit ad3f0fda6a
4 changed files with 1 additions and 14 deletions

View File

@ -81,8 +81,6 @@ export function App() {
setIsStreamReady,
isStreamReady,
isMouseDownInStream,
cmdId,
setCmdId,
formatCode,
openPanes,
setOpenPanes,
@ -117,8 +115,6 @@ export function App() {
isStreamReady: s.isStreamReady,
setIsStreamReady: s.setIsStreamReady,
isMouseDownInStream: s.isMouseDownInStream,
cmdId: s.cmdId,
setCmdId: s.setCmdId,
formatCode: s.formatCode,
addKCLError: s.addKCLError,
openPanes: s.openPanes,
@ -396,9 +392,8 @@ export function App() {
const interaction = ctrlKey ? 'zoom' : shiftKey ? 'pan' : 'rotate'
const newCmdId = uuidv4()
setCmdId(newCmdId)
if (cmdId && isMouseDownInStream) {
if (isMouseDownInStream) {
debounceSocketSend({
type: 'modeling_cmd_req',
cmd: {