diff --git a/plugins/portals-list.user.js b/plugins/portals-list.user.js index fcddc4ff..ce61c6a6 100644 --- a/plugins/portals-list.user.js +++ b/plugins/portals-list.user.js @@ -117,7 +117,7 @@ window.plugin.portalslist.displayPL = function() { dialogClass: 'ui-dialog-portalslist', title: 'Portal list: ' + window.plugin.portalslist.listPortals.length + ' ' + (window.plugin.portalslist.listPortals.length == 1 ? 'portal' : 'portals'), id: 'portal-list', - width: 800 + width: 700 }); //run the name resolving process @@ -227,9 +227,6 @@ window.plugin.portalslist.getPortalLink = function(portal,guid) { var setup = function() { $('#toolbox').append(' Portals list'); $('head').append('