Handle session logs and add event subset selection

pkg/analysis_server/tool/instrumentation/page/page_writer.dart

 // Copyright (c) 2016, 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.
 
 import 'dart:convert';
 
 import '../log/log.dart';
 import '../server.dart';
 
 typedef void Writer(StringSink sink);
@@ skipping 30 matching lines @@
             lastTime.codeUnitAt(prefixLength)) {
       prefixLength++;
     }
     return prefixLength;
   }
 
   /**
    * Return an escaped version of the given [unsafe] text.
    */
   String escape(String unsafe) {
-    return htmlEscape.convert(unsafe);
+    // We double escape single quotes because the escaped characters are
+    // processed as part of reading the HTML, which means that single quotes
+    // end up terminating string literals too early when they appear in event
+    // handlers (which in turn leads to JavaScript syntax errors).
+    return htmlEscape.convert(unsafe).replaceAll(''', ''');
   }
 
   /**
    * Write the body of the page (without the 'body' tag) to the given [sink].
    */
   void writeBody(StringSink sink);
 
   /**
    * Write the given [date] to the given [sink].
    */
@@ skipping 204 matching lines @@
   }
 
   /**
    * Write to the given [sink] the HTML required to display content in two
    * columns. The content of the columns will be written by the functions
    * [writeLeftColumn] and [writeRightColumn] and will be contained in 'div'
    * elements with the id's [leftColumnId] and [rightColumnId].
    */
   void writeTwoColumns(StringSink sink, String leftColumnId,
       Writer writeLeftColumn, String rightColumnId, Writer writeRightColumn) {
-    sink.writeln('<div>');
-    sink.writeln('  <div>');
+    sink.writeln('<div id="container">');
+    sink.writeln('  <div id="content">');
     sink.writeln('    <div id="$leftColumnId">');
     sink.writeln('      <div class="inset">');
     writeLeftColumn(sink);
     sink.writeln('      </div>');
     sink.writeln('    </div>');
     sink.writeln('    <div id="$rightColumnId">');
     sink.writeln('      <div class="inset">');
     writeRightColumn(sink);
     sink.writeln('      </div>');
     sink.writeln('    </div>');
@@ skipping 16 matching lines @@
 }
 #$rightColumnId {
   float: right;
   height: 100%;
   overflow: auto;
   width: 50%;
 }
 ''');
   }
 }