diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-05-15 15:59:12 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-05-15 15:59:12 -0700 |
commit | 70e2ead142f87ebd5f4c6859ce17c72fdff8bd3b (patch) | |
tree | 8cc321088a2dbfd287bcd3187b010a0a6890167b /src | |
parent | 487584caa97d0905df06e32c292c00fcd82a2fa3 (diff) | |
parent | 963c4a7a87fa4f1aa4dba3e24cd36a58df58c4d4 (diff) | |
download | scala-70e2ead142f87ebd5f4c6859ce17c72fdff8bd3b.tar.gz scala-70e2ead142f87ebd5f4c6859ce17c72fdff8bd3b.tar.bz2 scala-70e2ead142f87ebd5f4c6859ce17c72fdff8bd3b.zip |
Merge pull request #2515 from heathermiller/issue/6555
Actual SI-6555 fix, Scaladoc filter works now WITH keyboard shortcuts too
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/html/resource/lib/index.js | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.js b/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.js index 70073b272a..96689ae701 100644 --- a/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.js +++ b/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.js @@ -14,9 +14,9 @@ var title = $(document).attr('title'); var lastHash = ""; $(document).ready(function() { - $('body').layout({ + $('body').layout({ west__size: '20%', - center__maskContents: true + center__maskContents: true }); $('#browser').layout({ center__paneSelector: ".ui-west-center" @@ -342,11 +342,6 @@ function configureTextFilter() { if (event.keyCode == 27) { // escape input.attr("value", ""); } - if (event.keyCode == 9) { // tab - $("#template").contents().find("#mbrsel-input").focus(); - input.attr("value", ""); - return false; - } if (event.keyCode == 40) { // down arrow $(window).unbind("keydown"); keyboardScrolldownLeftPane(); @@ -354,6 +349,14 @@ function configureTextFilter() { } textFilter(); }); + input.bind('keydown', function(event) { + if (event.keyCode == 9) { // tab + $("#template").contents().find("#mbrsel-input").focus(); + input.attr("value", ""); + return false; + } + textFilter(); + }); input.focus(function(event) { input.select(); }); }); scheduler.add("init", function() { |