diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2010-02-11 13:55:34 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2010-02-11 13:55:34 +0000 |
| commit | a78bf650be7cc82e43907d1bbf966b3d802fc301 (patch) | |
| tree | 841f40d822d2a33cd05570909f7d1d06676abfc7 /tools | |
| parent | c37cb5ad1d8977ebbd9a559a884d7115df980a53 (diff) | |
| download | scala-a78bf650be7cc82e43907d1bbf966b3d802fc301.tar.gz scala-a78bf650be7cc82e43907d1bbf966b3d802fc301.tar.bz2 scala-a78bf650be7cc82e43907d1bbf966b3d802fc301.zip | |
[scaladoc] Fixed popup content lookup so that i...
[scaladoc] Fixed popup content lookup so that it works on all browsers.
Speed-up in entity index search (according to jQuery manual, observed
no notable difference). Some small aesthetic cleanups in the way index
initialization and filtering behaves. No review.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions