From 564a3f944c752fd448cf28e056a899b7eacd5bbf Mon Sep 17 00:00:00 2001 From: rlc4 Date: Sat, 26 Nov 2016 10:44:41 -0800 Subject: [PATCH] Shows larger color selector on drawtool options --- plugins/draw-tools.user.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/plugins/draw-tools.user.js b/plugins/draw-tools.user.js index 72ecbb7e..0272e514 100644 --- a/plugins/draw-tools.user.js +++ b/plugins/draw-tools.user.js @@ -92,11 +92,11 @@ window.plugin.drawTools.setOptions = function() { window.plugin.drawTools.setDrawColor = function(color) { window.plugin.drawTools.currentColor = color; window.plugin.drawTools.currentMarker = window.plugin.drawTools.getMarkerIcon(color); - + window.plugin.drawTools.lineOptions.color = color; window.plugin.drawTools.polygonOptions.color = color; window.plugin.drawTools.markerOptions.icon = window.plugin.drawTools.currentMarker; - + plugin.drawTools.drawControl.setDrawingOptions({ polygon: { shapeOptions: plugin.drawTools.polygonOptions }, polyline: { shapeOptions: plugin.drawTools.lineOptions }, @@ -353,6 +353,7 @@ window.plugin.drawTools.manualOpt = function() { showInput: false, showButtons: false, showPalette: true, + showPaletteOnly: false, showSelectionPalette: false, palette: [ ['#a24ac3','#514ac3','#4aa8c3','#51c34a'], ['#c1c34a','#c38a4a','#c34a4a','#c34a6f'],