From a40f927b663bc5cf9e6b8522b2b220a2dd60097a Mon Sep 17 00:00:00 2001 From: Oleg Sh Date: Wed, 14 Apr 2021 12:26:02 +0200 Subject: [PATCH] Fix print styles. --- script/BaseEdgeDrawer.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/script/BaseEdgeDrawer.js b/script/BaseEdgeDrawer.js index 9fbdb16..231d2c9 100644 --- a/script/BaseEdgeDrawer.js +++ b/script/BaseEdgeDrawer.js @@ -56,6 +56,7 @@ function CommonPrintEdgeStyle() this.textPadding = 4; this.textStrockeWidth = 2; } +CommonPrintEdgeStyle.prototype = Object.create(BaseEdgeStyle.prototype); function SelectedEdgeStyle0() { @@ -129,7 +130,7 @@ function SelectedEdgePrintStyle() this.baseStyles.push("printed"); } -SelectedEdgeStyle0.prototype = Object.create(BaseEdgeStyle.prototype); +SelectedEdgePrintStyle.prototype = Object.create(BaseEdgeStyle.prototype); var DefaultSelectedEdgeStyles = [new SelectedEdgeStyle0(), new SelectedEdgeStyle1(), new SelectedEdgeStyle2(), new SelectedEdgeStyle3(), new SelectedEdgeStyle4()];