Merge remote-tracking branch 'origin/main' into Highlight

Author: simon0356

.github/workflows/changelog.yml

@@ -0,0 +1,14 @@
+name: Check Changelog
+on:
+  pull_request:
+    types: [ assigned, opened, synchronize, reopened, labeled, unlabeled ]
+    branches:
+      - main
+jobs:
+  Check-Changelog:
+    name: Check Changelog Action
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: tarides/changelog-check-action@v2
+        with:
+          changelog: CHANGELOG.md

src/main.rs

@@ -199,8 +199,7 @@ fn main() {
 
             let repaint_signal = _cc.egui_ctx.clone();
             thread::spawn(move || loop {
-                if let Ok(_) = sync_rx.recv() {
-                    println!("requested repaint!");
+                if sync_rx.recv().is_ok() {
                     repaint_signal.request_repaint();
                 }
             });