diff --git a/plugins/draw-tools.user.js b/plugins/draw-tools.user.js index 42651397..fa533a5d 100644 --- a/plugins/draw-tools.user.js +++ b/plugins/draw-tools.user.js @@ -311,13 +311,13 @@ window.plugin.drawTools.manualOpt = function() { //TODO: add line style choosers: thickness, maybe dash styles? + '' + '