Minor UI tweaks.

runtime/observatory/lib/src/elements/objectpool_view.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library objectpool_view;
 
 import 'dart:async';
 import 'dart:html';
 import 'package:observatory/models.dart' as M;
 import 'package:observatory/src/elements/context_ref.dart';
@@ skipping 110 matching lines @@
         new NavRefreshElement(queue: _r.queue)
             ..onRefresh.listen((e) async {
               e.element.disabled = true;
               _pool = await _pools.get(_isolate, _pool.id);
               _r.dirty();
             }),
         new NavNotifyElement(_notifications, queue: _r.queue)
       ]),
       new DivElement()..classes = ['content-centered-big']
         ..children = [
-          new HeadingElement.h2()..text = 'Object Pool',
+          new HeadingElement.h2()..text = 'ObjectPool',
           new HRElement(),
           new ObjectCommonElement(_isolate, _pool, _retainedSizes,
                                   _reachableSizes, _references, _retainingPaths,
                                   _instances, queue: _r.queue),
           new HRElement(),
           new HeadingElement.h3()..text = 'entries (${_pool.entries.length})',
           new DivElement()..classes = ['memberList']
             ..children = _pool.entries.map((entry)
               => new DivElement()..classes = ['memberItem']
                 ..children = [
@@ skipping 22 matching lines @@
       ];
       case  M.ObjectPoolEntryKind.nativeEntry:
       return [
         new SpanElement()
           ..text = 'NativeEntry 0x${entry.asInteger.toRadixString(16)}'
       ];
     }
     throw new Exception('Unkown ObjectPoolEntryKind (${entry.kind})');
   }
 }