⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 softwaredevtools - openservo wiki.htm

📁 一些关于机器人开发的开源项目
💻 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 + -