📄 softwaredevtools - openservo wiki.htm
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"><html><head><meta http-equiv="Content-Type" content="text/html;charset=utf-8"><meta name="robots" content="index,nofollow"><title>SoftwareDevTools - OpenServo Wiki</title><script type="text/javascript" src="/wiki/common/js/common.js"></script><script type="text/javascript"><!--// common functions// We keep here the state of the search boxsearchIsDisabled = false;function searchChange(e) { // Update search buttons status according to search box content. // Ignore empty or whitespace search term. var value = e.value.replace(/\s+/, ''); if (value == '' || searchIsDisabled) { searchSetDisabled(true); } else { searchSetDisabled(false); }}function searchSetDisabled(flag) { // Enable or disable search document.getElementById('fullsearch').disabled = flag; document.getElementById('titlesearch').disabled = flag;}function searchFocus(e) { // Update search input content on focus if (e.value == '鎼滅储') { e.value = ''; e.className = ''; searchIsDisabled = false; }}function searchBlur(e) { // Update search input content on blur if (e.value == '') { e.value = '鎼滅储'; e.className = 'disabled'; searchIsDisabled = true; }}function actionsMenuInit(title) { // Initialize action menu for (i = 0; i < document.forms.length; i++) { var form = document.forms[i]; if (form.className == 'actionsmenu') { // Check if this form needs update var div = form.getElementsByTagName('div')[0]; var label = div.getElementsByTagName('label')[0]; if (label) { // This is the first time: remove label and do buton. div.removeChild(label); var dobutton = div.getElementsByTagName('input')[0]; div.removeChild(dobutton); // and add menu title var select = div.getElementsByTagName('select')[0]; var item = document.createElement('option'); item.appendChild(document.createTextNode(title)); item.value = 'show'; select.insertBefore(item, select.options[0]); select.selectedIndex = 0; } } }}//--></script><link rel="stylesheet" type="text/css" charset="utf-8" media="all" href="/wiki/openservo/css/common.css"><link rel="stylesheet" type="text/css" charset="utf-8" media="screen" href="/wiki/openservo/css/screen.css"><link rel="stylesheet" type="text/css" charset="utf-8" media="print" href="/wiki/openservo/css/print.css"><link rel="stylesheet" type="text/css" charset="utf-8" media="projection" href="/wiki/openservo/css/projection.css"><!-- css only for MSIE browsers --><!--[if IE]> <link rel="stylesheet" type="text/css" charset="utf-8" media="all" href="/wiki/openservo/css/msie.css"><![endif]--><link rel="Start" href="/FrontPage"><link rel="Alternate" title="缁村熀鏍囪
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -