# HG changeset patch
# User Vincent Tondellier <tonton+hg@team1664.org>
# Date 1431110802 -7200
# Node ID f66d935647bca5be13ac6e6f6c9b877ddd4cd5e1
# Parent  150e11f0fb7c3a411770aa8368290d2ffd389242
Prettyprint function names using prettify.js

diff -r 150e11f0fb7c -r f66d935647bc lib/CrashTest/StackFilters/HideArgs.pm
--- a/lib/CrashTest/StackFilters/HideArgs.pm	Fri May 08 19:41:08 2015 +0200
+++ b/lib/CrashTest/StackFilters/HideArgs.pm	Fri May 08 20:46:42 2015 +0200
@@ -45,7 +45,7 @@
         $short_signature = "$1()$2";
     }
 
-    return $self->app->t(span => (title => $signature, class => "shortened-signature") => sub { return $short_signature });
+    return $self->app->t(code => (title => $signature, class => "shortened-signature prettyprint lang-cpp") => sub { return $short_signature });
 }
 
 1;
diff -r 150e11f0fb7c -r f66d935647bc public/assets/js/application.js
--- a/public/assets/js/application.js	Fri May 08 19:41:08 2015 +0200
+++ b/public/assets/js/application.js	Fri May 08 20:46:42 2015 +0200
@@ -5,10 +5,13 @@
     $('.expand').click(function () {
         $(".shortened-signature", $(this).parents('table')).each(function () {
             $(this).text($(this).attr('title')).removeAttr('title');
+            $(this).removeClass("prettyprinted");
         });
+        prettyPrint();
         $(this).remove();
         return false;
     });
 
     $('a[data-toggle="tooltip"]').tooltip();
+    prettyPrint();
 });
diff -r 150e11f0fb7c -r f66d935647bc templates/layouts/main.html.ep
--- a/templates/layouts/main.html.ep	Fri May 08 19:41:08 2015 +0200
+++ b/templates/layouts/main.html.ep	Fri May 08 20:46:42 2015 +0200
@@ -17,7 +17,11 @@
       body {
         padding-top: 60px;
       }
+      code.prettyprint {
+        background-color: transparent;
+      }
     % end
+    <link href="/mojo/prettify/prettify-mojo-light.css" type="text/css" rel="stylesheet" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
   </head>
 
@@ -89,6 +93,7 @@
     %= javascript '/assets/js/jquery.min.js'
     %= javascript '/assets/js/bootstrap.min.js'
     %}
+    %= javascript '/mojo/prettify/prettify.js'
     %= javascript '/assets/js/application.js'
   </body>
 </html>