diff options
Diffstat (limited to 'tools/Sandcastle/Presentation/vs2005/Scripts/script_manifold.js')
| -rw-r--r-- | tools/Sandcastle/Presentation/vs2005/Scripts/script_manifold.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/Sandcastle/Presentation/vs2005/Scripts/script_manifold.js b/tools/Sandcastle/Presentation/vs2005/Scripts/script_manifold.js index 26bb631..ebc63a7 100644 --- a/tools/Sandcastle/Presentation/vs2005/Scripts/script_manifold.js +++ b/tools/Sandcastle/Presentation/vs2005/Scripts/script_manifold.js @@ -99,6 +99,13 @@ function HideSelect() i = n; } break; + case "fsharp": + for (m=0; m<spanEles.length; m++) + { + if (spanEles[m].getAttribute("codeLanguage") == "FSharp" && spanEles[m].style.display != "none" && n < i) + i = n; + } + break; } } if (i != 10) |