Chrome Dev Editor is a developer tool for building apps on the Chrome platform - Chrome Apps and Web Apps, in JavaScript or Dart. (NO LONGER IN ACTIVE DEVELOPMENT)
BSD 3-Clause "New" or "Revised" License
2.92k
stars
411
forks
source link
Feature request: Marking non-imported polymers / custom elements as error #3715
If i use and it is not imported or declared, CDE should mark it as an error.