diff options
| author | Tim Kuehn <tkuehn@cmu.edu> | 2013-06-28 16:45:56 -0700 |
|---|---|---|
| committer | Tim Kuehn <tkuehn@cmu.edu> | 2013-07-02 17:26:30 -0700 |
| commit | a6eaffcd93c27fdec4f67eb0ebeeca7269fee013 (patch) | |
| tree | e60223997b6d302f21e8bdc5f871dc8ea244c321 /src/components/util/time.rs | |
| parent | d17a1f2ad731f45286613d5651ce070cbc9bd286 (diff) | |
| download | servo-a6eaffcd93c27fdec4f67eb0ebeeca7269fee013.tar.gz servo-a6eaffcd93c27fdec4f67eb0ebeeca7269fee013.zip | |
forward/back navigation with shift+backspace and backspace
script caches last loaded url -- currently no caching policy
naive caching of render layers for near-instant forward/back
handling evicted pipelines is currently broken
Diffstat (limited to 'src/components/util/time.rs')
| -rw-r--r-- | src/components/util/time.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/components/util/time.rs b/src/components/util/time.rs index 00e222baaeb..ac94abcfb7a 100644 --- a/src/components/util/time.rs +++ b/src/components/util/time.rs @@ -152,7 +152,7 @@ impl Profiler { priv fn print_buckets(&mut self) { println(fmt!("%31s %15s %15s %15s %15s %15s", - "_category (ms)_", "_mean (ms)_", "_median (ms)_", + "_category_", "_mean (ms)_", "_median (ms)_", "_min (ms)_", "_max (ms)_", "_bucket size_")); for self.buckets.mut_iter().advance |bucket| { match *bucket { |