dart-lang/chromedeveditor — pull request #2738 by devoncarew (2014-06-29 14:22:43+00:00)
Title: Devoncarew tooltips

Change the tooltips for tabs to be their filesystem path (fixes https://github.com/dart-lang/chromedeveditor/issues/2554).

@dinhviethoa