Added click regions and cursor styles

2023-02-28 16:34:28 -08:00
parent 9b8adecf05
commit c397fd9a71
3 changed files with 274 additions and 38 deletions
@@ -370,7 +370,7 @@ impl FoldMap {
                    }

                    if fold.end > fold.start {
-                        let output_text = "…";
+                        let output_text = "⋯";
                        new_transforms.push(
                            Transform {
                                summary: TransformSummary {