update version

iShape-Rust · Sep 2, 2023 · 9175c78 · 9175c78
1 parent 6712c04
commit 9175c78
Show file tree

Hide file tree

Showing 10 changed files with 2 additions and 98 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "i_shape_js"
-version = "0.2.1"
+version = "0.2.2"
 authors = ["Nail Sharipov <[email protected]>"]
 edition = "2021"
 description = "A poly-bool library that supports main operations such as union, intersection, difference, xor, and self-intersection by the even-odd rule. This algorithm is based on Vatti clipping ideas but is an original implementation."
@@ -14,7 +14,7 @@ crate-type = ["cdylib"]
 [dependencies]
 i_float = "^0.1.0"
 i_shape = "^0.1.0"
-i_overlay = "^0.2.0"
+i_overlay = "^0.2.2"
 
 
 wasm-bindgen = "0.2"

diff --git a/docs-gen/src/js/i_shape/i_shape_js_bg.wasm b/docs-gen/src/js/i_shape/i_shape_js_bg.wasm
diff --git a/docs/404.html b/docs/404.html
@@ -187,22 +187,6 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 

diff --git a/docs/chapter_1.html b/docs/chapter_1.html
@@ -191,22 +191,6 @@ <h1 id="chapter-1"><a class="header" href="#chapter-1">Chapter 1</a></h1>
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 

diff --git a/docs/demo/editor_demo.html b/docs/demo/editor_demo.html
@@ -348,22 +348,6 @@ <h3 class="test-title" id="test-name">Title</h3>
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 

diff --git a/docs/demo/stars_demo.html b/docs/demo/stars_demo.html
@@ -355,22 +355,6 @@ <h3 id="clip-star" class="title"><a class="header" href="#clip-star">Clip Star</
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 

diff --git a/docs/index.html b/docs/index.html
@@ -349,22 +349,6 @@ <h3 id="clip-star" class="title"><a class="header" href="#clip-star">Clip Star</
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 

diff --git a/docs/js/i_shape/i_shape_js_bg.wasm b/docs/js/i_shape/i_shape_js_bg.wasm
diff --git a/docs/print.html b/docs/print.html
@@ -656,22 +656,6 @@ <h3 class="test-title" id="test-name">Title</h3>
 
         </div>
 
-        <!-- Livereload script (if served using the cli tool) -->
-        <script>
-            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
-            const socket = new WebSocket(wsAddress);
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
 
 
 

diff --git a/pkg/i_shape_js_bg.wasm b/pkg/i_shape_js_bg.wasm