diff --git a/common/media/1x1.gif b/common/media/1x1.gif deleted file mode 100644 index 30855112..00000000 Binary files a/common/media/1x1.gif and /dev/null differ diff --git a/common/media/accessible.css b/common/media/accessible.css deleted file mode 100644 index 651c7432..00000000 --- a/common/media/accessible.css +++ /dev/null @@ -1,9 +0,0 @@ -.blocklyTable { - vertical-align: top; -} -.blocklyTree .blocklyActiveDescendant > label, -.blocklyTree .blocklyActiveDescendant > div > label, -.blocklyActiveDescendant > button, -.blocklyActiveDescendant > input { - outline: 2px dotted #00f; -} diff --git a/common/media/ban.png b/common/media/ban.png deleted file mode 100644 index 2aaf929e..00000000 Binary files a/common/media/ban.png and /dev/null differ diff --git a/common/media/blocks.png b/common/media/blocks.png deleted file mode 100644 index d0c7f10b..00000000 Binary files a/common/media/blocks.png and /dev/null differ diff --git a/common/media/config.png b/common/media/config.png deleted file mode 100644 index edda5406..00000000 Binary files a/common/media/config.png and /dev/null differ diff --git a/common/media/delete-icon.svg b/common/media/delete-icon.svg deleted file mode 100644 index 1bd27ee7..00000000 --- a/common/media/delete-icon.svg +++ /dev/null @@ -1 +0,0 @@ - \ No newline at end of file diff --git a/common/media/dropdown-arrow.svg b/common/media/dropdown-arrow.svg deleted file mode 100644 index 4e6ce19e..00000000 --- a/common/media/dropdown-arrow.svg +++ /dev/null @@ -1 +0,0 @@ -dropdown-arrow \ No newline at end of file diff --git a/common/media/foldout-icon.svg b/common/media/foldout-icon.svg deleted file mode 100644 index 7aeb5b17..00000000 --- a/common/media/foldout-icon.svg +++ /dev/null @@ -1 +0,0 @@ - \ No newline at end of file diff --git a/common/media/help.png b/common/media/help.png deleted file mode 100644 index 24c552cd..00000000 Binary files a/common/media/help.png and /dev/null differ diff --git a/common/media/help1.png b/common/media/help1.png deleted file mode 100644 index 3c55e344..00000000 Binary files a/common/media/help1.png and /dev/null differ diff --git a/common/media/help2.png b/common/media/help2.png deleted file mode 100644 index be2cf0f9..00000000 Binary files a/common/media/help2.png and /dev/null differ diff --git a/common/media/loading.gif b/common/media/loading.gif deleted file mode 100644 index 286e1bcd..00000000 Binary files a/common/media/loading.gif and /dev/null differ diff --git a/common/media/loading.svg b/common/media/loading.svg deleted file mode 100644 index 67140a4e..00000000 --- a/common/media/loading.svg +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - diff --git a/common/media/logo.png b/common/media/logo.png deleted file mode 100644 index 68f0556e..00000000 Binary files a/common/media/logo.png and /dev/null differ diff --git a/common/media/pilcrow.png b/common/media/pilcrow.png deleted file mode 100644 index f224c358..00000000 Binary files a/common/media/pilcrow.png and /dev/null differ diff --git a/common/media/quote0.png b/common/media/quote0.png deleted file mode 100644 index c7820d60..00000000 Binary files a/common/media/quote0.png and /dev/null differ diff --git a/common/media/quote1.png b/common/media/quote1.png deleted file mode 100644 index 826583e0..00000000 Binary files a/common/media/quote1.png and /dev/null differ diff --git a/common/media/quote2.png b/common/media/quote2.png deleted file mode 100644 index 549edde1..00000000 Binary files a/common/media/quote2.png and /dev/null differ diff --git a/common/media/quote3.png b/common/media/quote3.png deleted file mode 100644 index 99061bbc..00000000 Binary files a/common/media/quote3.png and /dev/null differ diff --git a/common/media/redo.png b/common/media/redo.png deleted file mode 100644 index b3a96fd0..00000000 Binary files a/common/media/redo.png and /dev/null differ diff --git a/common/media/redo1.png b/common/media/redo1.png deleted file mode 100644 index be9e7134..00000000 Binary files a/common/media/redo1.png and /dev/null differ diff --git a/common/media/redo2.png b/common/media/redo2.png deleted file mode 100644 index 0d247fa0..00000000 Binary files a/common/media/redo2.png and /dev/null differ diff --git a/common/media/redo3.png b/common/media/redo3.png deleted file mode 100644 index 0ebd6393..00000000 Binary files a/common/media/redo3.png and /dev/null differ diff --git a/common/media/resize-dark.png b/common/media/resize-dark.png deleted file mode 100644 index 17b8700a..00000000 Binary files a/common/media/resize-dark.png and /dev/null differ diff --git a/common/media/resize-light.png b/common/media/resize-light.png deleted file mode 100644 index 407348d6..00000000 Binary files a/common/media/resize-light.png and /dev/null differ diff --git a/common/media/resizey.png b/common/media/resizey.png deleted file mode 100644 index 18369c83..00000000 Binary files a/common/media/resizey.png and /dev/null differ diff --git a/common/media/sprites.svg b/common/media/sprites.svg deleted file mode 100644 index 3f09ef3a..00000000 --- a/common/media/sprites.svg +++ /dev/null @@ -1,74 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/common/modules/mixly-modules/web-socket/serial.js b/common/modules/mixly-modules/web-socket/serial.js index 780f9498..24616e6b 100644 --- a/common/modules/mixly-modules/web-socket/serial.js +++ b/common/modules/mixly-modules/web-socket/serial.js @@ -343,20 +343,15 @@ class WebSocketSerial extends Serial { } async dispose() { - return new Promise((resolve, reject) => { - const port = this.getPortName(); - const eventRegistry = WebSocketSerial.getEventRegistry(); - eventRegistry.unregister(`${port}-buffer`); - eventRegistry.unregister(`${port}-string`); - eventRegistry.unregister(`${port}-error`); - eventRegistry.unregister(`${port}-open`); - eventRegistry.unregister(`${port}-close`); - super.dispose() - .then(() => { - return this.#awaitDispose_(); - }) - .catch(reject); - }) + const port = this.getPortName(); + const eventRegistry = WebSocketSerial.getEventRegistry(); + eventRegistry.unregister(`${port}-buffer`); + eventRegistry.unregister(`${port}-string`); + eventRegistry.unregister(`${port}-error`); + eventRegistry.unregister(`${port}-open`); + eventRegistry.unregister(`${port}-close`); + await super.dispose(); + await this.#awaitDispose_(); } } diff --git a/common/modules/mixly-modules/web-socket/socket.js b/common/modules/mixly-modules/web-socket/socket.js index 09c22031..ab985e99 100644 --- a/common/modules/mixly-modules/web-socket/socket.js +++ b/common/modules/mixly-modules/web-socket/socket.js @@ -36,7 +36,6 @@ Socket.init = function () { const socket = mixlySocket.getSocket(); socket.on('connect', () => { - Serial.getPorts() .then((ports) => { let portsName = [];