minbrowser/resources/html/BrowserSetting/setting.html

<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>设置</title>
    <style type="text/css">
        .correct:before {
            content: '\2714';
            color: #008100;
        }
        .incorrect:before {
            content: '\2716';
            color: #b20610;
        }
    </style>
    <script>
        <!-- 显示数据 -->
        function showServerIP(ip) {
            document.getElementById("serverIP").value=ip;
        }
        function showServerPort(port) {
            document.getElementById("serverPort").value=port;
        }
        function showServerPrefix(prefix) {
            document.getElementById("serverPrefix").value=prefix;
        }
        function showDownloadDir(dir) {
            // document.getElementById("downloadDir").value=dir;
            document.getElementById("downloadDir").value="./filecache";
        }
        function showMisIP(misIP) {
            document.getElementById("misIP").value=misIP;
        }
        function showMisPort(misPort) {
            document.getElementById("misPort").value=misPort;
        }

        <!-- 重置数据 -->
        function resetSetting() {
            var ipResetResult=setServerIP();
            javaSetter.printInfo("ipResetResult: "+ipResetResult);
            var portResetResult=setServerPort();
            javaSetter.printInfo("portResetResult: "+portResetResult);
            var prefixResetResult=setServerPrefix();
            javaSetter.printInfo("prefixResetResult: "+prefixResetResult);
            var misIPResetResult=setMisIP();
            javaSetter.printInfo("misipResetResult: "+misIPResetResult);
            var misPortResetResult=setMisPort();
            javaSetter.printInfo("misportResetResult: "+misPortResetResult);
            showResetResultInfo(ipResetResult,portResetResult,prefixResetResult,misIPResetResult,misPortResetResult);
            javaSetter.refreshBrowserSettings();
            // javaSetter.showResetInfoAlert(ipResetResult.toString(),portResetResult.toString(),prefixResetResult.toString(),dirResetResult.toString());
        }
        function setServerIP() {
            return javaSetter.setServerIP(document.getElementById("serverIP").value.toString());
        }
        function setServerPort() {
            return javaSetter.setServerPort(document.getElementById("serverPort").value.toString());
        }
        function setMisIP() {
            return javaSetter.setMisIP(document.getElementById("misIP").value.toString());
        }
        function setMisPort() {
            return javaSetter.setMisPort(document.getElementById("misPort").value.toString());
        }
        function setServerPrefix() {
            return javaSetter.setServerPrefix(document.getElementById("serverPrefix").value.toString());
        }
        
        <!-- 显示修改结果 -->
        function showResetResultInfo(ipResetResult,portResetResult,prefixResetResult,misipResetResult,misportResetResult) {
            if(ipResetResult){
                setRight("a");
            }else{
                setWrong("a");
            }
            if(portResetResult){
                setRight("b");
            }else{
                setWrong("b");
            }
            if(prefixResetResult){
                setRight("c");
            }else{
                setWrong("c");
            }
            if(misipResetResult){
                setRight("e");
            }else{
                setWrong("e");
            }
            if(misportResetResult){
                setRight("f");
            }else{
                setWrong("f");
            }
        }

        // 显示对号
        function setRight(id) {
            document.getElementById(id).className="status correct";
            showIt(id);
        }
        // 显示错号
        function setWrong(id) {
            document.getElementById(id).className="status incorrect";
        }

         // 显示某个元素
        function showIt(id) {
            document.getElementById(id).style.visibility='visible';
        }
        // 隐藏某个元素
        function hideIt(id) {
            document.getElementById(id).style.visibility='hidden';
        }
    </script>
</head>
<body>
<h1>MIN-Browser Setting</h1>
<hr>
<pre>
    <form>
MIN-Web Server IP: <input type="text" id="serverIP" />&nbsp;<a id="a"></a>
        <br>
MIN-Web Server Port: <input type="text" id="serverPort" />&nbsp;<a id="b"></a>
        <br>
MIN-Web Server Prefix: <input type="text" id="serverPrefix" />&nbsp;<a id="c"></a>
        <br>
File Download Directory: <input type="text" id="downloadDir" readonly="true"/>
        <br>
MIS Server IP: <input type="text" id="misIP" />&nbsp;<a id="e"></a>
        <br>
MIS Server Port: <input type="text" id="misPort" />&nbsp;<a id="f"></a>
        <br>
<input type="button" onclick="resetSetting()" value="Submit" />
    </form>
</pre>
<hr>
</body>
</html>