Good question. I know that elements have access to Polymer.import and may potentially lazy load more elements this way. +dfreedman do you know if any polymer elements (or polymer itself) take advantage of Polymer.import at any point?
On Wed, Feb 25, 2015 at 2:09 AM, Kiran Rao <[email protected]> wrote: > It looks like the HTML Import polyfill is redundant if vulcanize is used > to either inline or otherwise squash all the custom elements into a single > script. Essentially, HTML imports are replaced with a script import. > > Is this assessment correct? Am I missing something here? > > I tried creating a version of webcomponents-lite.js minus the HTML imports > and the size went further down to ~16 KB minified (~5.6KB gzipped). For > comparison, webcomponents-lite is ~28KB minified (~9KB gzipped). > If HTML imports are truly redundant after vulcanizing, maybe we could > request inclusion of a webcomponents-feather version of the polyfills that > include only Custom Elements and Templates. > > Follow Polymer on Google+: plus.google.com/107187849809354688692 > --- > You received this message because you are subscribed to the Google Groups > "Polymer" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/polymer-dev/bef0c60d-a49d-4043-83c8-25727aff8408%40googlegroups.com > <https://groups.google.com/d/msgid/polymer-dev/bef0c60d-a49d-4043-83c8-25727aff8408%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > Follow Polymer on Google+: plus.google.com/107187849809354688692 --- You received this message because you are subscribed to the Google Groups "Polymer" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/polymer-dev/CAJj5OwDdtHqsoniDbo_E8otADSpEiHErWkHTkCbZjNFiRrJyhA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
