Editor doesn't complain about two case statements that are the same:

      switch (event) {
        case Media.CLIENT_BUFFER_EMPTY:
         // do something
          break;
        case Media.END_OF_STREAM:
          // Do something else
          break;
        case Media.CLIENT_BUFFER_EMPTY:
          // will never be executed but editor doesn't warn
          break;
        default:
          // not handled
          break;
      }

////////////////////////////////////////////////////////////////////////////////////
Editor: 1.4.0.dev_06_04 (2014-05-12)
OS: Linux - amd64 (3.13.0-30-generic)
JVM: 1.7.0-google-v6

projects: 1

open dart files: 2

auto-run pub: true
localhost resolves to: 127.0.0.1
mem max/total/free: 1778 / 873 / 690 MB
thread count: 24
index: 445452 relationships in 93003 keys in 373 sources

SDK installed: true
Dartium installed: true