Fix the merging of threadnames with multiple digits on about:profiler.

chrome/browser/resources/profiler.js

Index: chrome/browser/resources/profiler.js
===================================================================
--- chrome/browser/resources/profiler.js	(revision 111289)
+++ chrome/browser/resources/profiler.js	(working copy)
@@ -878,7 +878,7 @@
         var value = row[key];
         // If the property is a thread name, try to remap it.
         if (key == KEY_BIRTH_THREAD || key == KEY_DEATH_THREAD) {
-          var m = /^(.*)(\d+)$/.exec(value);
+          var m = /^(.*)[^\d](\d+)$/.exec(value);

[jar (doing other things), 2011/11/23 16:45:48]

I think you discard the last character of the non-numeric prefix.  I guess you
might assume it is a separator, like a "-" or a space.... but if you processed:
Thread23

you'd end up with
Threa*

(after you concatenation in line 883).

I think it might be better to say:

var m = /^(.*[^\d])(\d+)$/.exec(value);

With the paren pushed after the non-digit single-match.

           if (m)
             value = m[1] + '*';
         }