diff options
| author | admin <devnull@localhost> | 2006-10-21 21:44:22 +0200 |
|---|---|---|
| committer | admin <devnull@localhost> | 2006-10-21 21:44:22 +0200 |
| commit | e334c472fb4be44feec3a73402fc4a2b062cbfc0 (patch) | |
| tree | 553f17d67e7ef652016ec85b2a576bb2210f0ff8 /user_guide/general/profiling.html | |
| parent | bd6bee75dd26ade1c8d9cfd104bb913065797c59 (diff) | |
Diffstat (limited to 'user_guide/general/profiling.html')
| -rw-r--r-- | user_guide/general/profiling.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide/general/profiling.html b/user_guide/general/profiling.html index 880aa0c50..2a933e3fe 100644 --- a/user_guide/general/profiling.html +++ b/user_guide/general/profiling.html @@ -12,7 +12,7 @@ <script type="text/javascript" src="../nav/moo.fx.js"></script>
<script type="text/javascript">
window.onload = function() {
- myHeight = new fx.Height('nav', {duration: 400});
+ myHeight = new fx.Height('nav', {duration: 400});
myHeight.hide();
}
</script>
|