From 64d056bb8b29ffe147c79171980572d44efee8c4 Mon Sep 17 00:00:00 2001 From: Jon Atkins Date: Wed, 9 Oct 2013 07:36:20 +0100 Subject: [PATCH] portals-list: move style for fixing width of portal names to the rest of it cleans things up, and done to understand why mobile is an issue --- plugins/portals-list.user.js | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/plugins/portals-list.user.js b/plugins/portals-list.user.js index 089e0966..ad9cc336 100644 --- a/plugins/portals-list.user.js +++ b/plugins/portals-list.user.js @@ -395,7 +395,7 @@ window.plugin.portalslist.getPortalLink = function(portal,guid) { onClick: jsSingleClick, onDblClick: jsDoubleClick })[0].outerHTML; - var div = '
'+a+'
'; + var div = '
'+a+'
'; return div; } @@ -416,13 +416,14 @@ var setup = function() { $('#toolbox').append(' Portals list'); $('head').append(''); }