如何在Dart编辑器中显示库名？

Question

我认为Dart编辑器用于在“文件”窗格中将库名称显示为文件名旁边的灰色框。例如，如果foo.dart以

开头

// foo.dart

library foo;
import  'dart:html';

“文件”窗格将显示foo.dart [foo]，如果我将库名称更改为bar，则显示将更改为foo.dart [bar]。用于调试！

它似乎在编辑器1.9.3中不起作用，但这可能是因为某些神奇的信息被缓存并需要更新。有什么想法吗？