phillip/ingress-intel-total-conversion
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,854 Commits 1 Branch 0 Tags
Commit Graph

11 Commits

Author SHA1 Message Date
fkloft
eba7d388a0 Enable IITC on mission permalink 
Hint: to change a lot of scripts, execute this:

    sed -r '/\/\/ @match\s+http:\/\/www.ingress.com\/intel/r /tmp/includefile' -i~ *.user.js

`/tmp/includefile` should contain these lines: (no trailing newline!)

    // @include        https://www.ingress.com/mission/*
    // @include        http://www.ingress.com/mission/*
    // @match          https://www.ingress.com/mission/*
    // @match          http://www.ingress.com/mission/*
 2015-04-13 17:28:30 +02:00
Jon Atkins
751001c6fa clear portal names immediately on a zoom end 2014-06-08 07:39:59 +01:00
Jon Atkins
fd17b4a278 portal-names - use different delays for data loading updates and user events - improves performance 2014-02-21 16:35:48 +00:00
Jon Atkins
9efe828ccb performance: portal names updates less often, as computing visibility gets expensive with lots of portals visible 2014-01-26 17:51:37 +00:00
Mike Castle
511a02f9a1 Introduce some consistency in grammar and punctuation into @description. 2013-12-03 23:51:54 -08:00
Jon Atkins
55f6644f89 plugin: portal-names fixed 2013-12-01 00:50:08 +00:00
Jon Atkins
33bdc2c590 make portal-names work however many portals are on screen, by using buckets to group portals for more efficient overlap testing 2013-10-12 20:41:01 +01:00
Jon Atkins
3c8c03e9e5 portal-names plugin: 
- use RequestFinished hook to update names while loading
- use map.project to get coordinates - this is floating point, so less likely to have two portals with different horizontal but identical vertical position which causes neither to show a name
 2013-10-09 05:30:09 +01:00
Jon Atkins
61b209e817 fix handling of too many portals. also make it dependant on visible portals only 2013-09-26 23:01:35 +01:00
Jon Atkins
92d04bdff6 update portal-names plugin to avoid drawing labels that overlap 
might tweak a bit more...
 2013-09-26 22:51:06 +01:00
Jon Atkins
85876ad039 1st addition of portal name plugin 
needs work so it disabled itself when portals are too dense. could be a basic zoom level check, or could be based on local portal density?
 2013-09-26 17:36:36 +01:00