Adjust click cirlce radius for editor.

edloper · Dec 8, 2024 · 8bb7c6b · 8bb7c6b
1 parent 7ce0f0d
commit 8bb7c6b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/javascript/editor.js b/javascript/editor.js
@@ -97,7 +97,7 @@ class LevelEditor {
 	this.backgroundColor = '#eee'
 	this.draw.css({background: this.backgroundColor, border: '1px solid black'});
 	this.draw.node.classList.add("graph");
-	this.graph = new Graph(this.draw);
+	this.graph = new Graph(this.draw, {clickCircleRadius: 12} );
 	this.selection = []  // up to 0-3 dots.
 	this.mouseHandler = new MouseHandler(this);
 	this.image = null;

diff --git a/javascript/graph.js b/javascript/graph.js
@@ -1,12 +1,12 @@
 
 class Graph {
-    constructor(draw) {
+    constructor(draw, options) {
 	this.draw = draw;
 	this.dots = []
 	this.tris = []
 	this.edges = [];
 	this.alpha = 0.5;
-	this.clickCircleRadius = 20;
+	this.clickCircleRadius = options.clickCircleRadius ?? 20;
 
 	// Place each object type before its layerMarker in the stacking order.
 	this.layerMarkers = {