// ==UserScript== // @name Modified drawPlanetNames // @description Only shows the ID of planets when pressing 'p' // @include http://planets.nu/home // @include http://planets.nu/games/* // @version 0.1 // ==/UserScript== function wrapper () { vgapMap.prototype.drawPlanetNames = function (x, y) { for (var i = 0; i < vgap.planets.length; i++) { var planet = vgap.planets[i]; var left = this.screenX(planet.x) + 10; var top = this.screenY(planet.y) - 15; $("