Add indicator of portal after single click on portal name. Which is a circle decreasing from size of screen to size of portal. For quickly locate clicked portal.
- add optional localbuildsettings.py
- remove the 'jonatkins' and 'jonatkins-dev' from buildsettings.py - some devs were using them and it'll give them unexpected update behaviour
- add a 'local' build - uses the public release for external resources (rather than a local web server as for local8000), but no distUrlBase. perfect for code-only changes
- distUrlBase can now be None - no more wacky invalid URLs
(the resourceUrlBase will become redundant once all resources are embedded, but that's still pending)
- make update URLS https - required by firefox+greasemonkey
- add build name + date/time to description of all plugins, and moved to front for main IITC
- ensure all plugins have a A.B.C. version number format - required now they append the date+time digits
- no smooth upgrade path from current 'dist' folder - so changed to 'release'. users will have to manually update this time, but will be fine fron now onwards (in theory!)
- plugins are now parsed for @@..@@ replacements
- main script and plugins have separate .meta.js files created - less web server load for update checks
- build script has variables for resource URL, update URL, etc, substituted via @@..@@ into main script and all plugins
that, this patch uses the CSS pointer-events directive to make the
area between the side bar and the map status usable. This should
avoid cutting off the sidebar and force users to scroll even if
there is space available but still allow to interact with that area.
Please report if there are any problems with this.
fix#467, fix#461
