From 92d04bdff68ac5665d510a936679e1565f9d2a0d Mon Sep 17 00:00:00 2001 From: Jon Atkins Date: Thu, 26 Sep 2013 22:51:06 +0100 Subject: [PATCH] update portal-names plugin to avoid drawing labels that overlap might tweak a bit more... --- plugins/portal-names.user.js | 106 +++++++++++++++++++++++++++++------ 1 file changed, 90 insertions(+), 16 deletions(-) diff --git a/plugins/portal-names.user.js b/plugins/portal-names.user.js index b7a2dfb5..ddf06b6b 100644 --- a/plugins/portal-names.user.js +++ b/plugins/portal-names.user.js @@ -20,13 +20,22 @@ // use own namespace for plugin window.plugin.portalNames = function() {}; + +window.plugin.portalNames.NAME_WIDTH = 80; +window.plugin.portalNames.NAME_HEIGHT = 23; + window.plugin.portalNames.labelLayers = {}; window.plugin.portalNames.labelLayerGroup = null; window.plugin.portalNames.setupCSS = function() { $("