📄 exporttreeheader.html
字号:
<html>
<head>
<title>Thread call tree</title>
<style>
body{
font: 10pt Verdana,sans-serif;
color: navy;
}
.trigger{
cursor: pointer;
cursor: hand;
}
.branch{
display: none;
margin-left: 16px;
}
.folderopen{
display: none;
}
.folderclosed{
display: inline;
}
</style>
<script language="JavaScript">
function showBranch(branch){
var objBranch = document.getElementById(branch).style;
if(objBranch.display=="block")
objBranch.display="none";
else
objBranch.display="block";
}
function swapFolderSign(sFolderName){
objPlusSign = document.getElementById(sFolderName+"Plus");
if(objPlusSign.style.display=="none")
objPlusSign.style.display="inline"
else
objPlusSign.style.display="none"
objMinusSign = document.getElementById(sFolderName+"Minus");
if(objMinusSign.style.display=="inline")
objMinusSign.style.display="none"
else
objMinusSign.style.display="inline"
}
</script>
</head>
<body>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -