summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2013-05-15 15:59:12 -0700
committerAdriaan Moors <adriaan.moors@typesafe.com>2013-05-15 15:59:12 -0700
commit70e2ead142f87ebd5f4c6859ce17c72fdff8bd3b (patch)
tree8cc321088a2dbfd287bcd3187b010a0a6890167b /src
parent487584caa97d0905df06e32c292c00fcd82a2fa3 (diff)
parent963c4a7a87fa4f1aa4dba3e24cd36a58df58c4d4 (diff)
downloadscala-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.js17
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() {