Check-in [4520d299f7]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:improve twv demo
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 4520d299f7f40346847cdf63761ef4220ae2359f
User & Date: chw 2019-06-13 14:31:33
Context
2019-06-14
15:09
improve twv demo check-in: 4eb3029eeb user: chw tags: trunk
2019-06-13
14:32
merge with trunk check-in: 8e21d22583 user: chw tags: wtf-8-experiment
14:31
improve twv demo check-in: 4520d299f7 user: chw tags: trunk
14:30
update curl to version 7.65.1 check-in: 005ec0d00e user: chw tags: trunk
Changes

jni/curl/configure.ac became a regular file.

jni/curl/docs/libcurl/mksymbolsmanpage.pl became a regular file.

jni/curl/tests/sshserver.pl became executable.

Changes to undroid/tsb/tsb.tcl.

735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
...
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
	    }
	}
    }

    append D {
	textarea {
	    border: 1px solid #AAAAAA;
	    margin: 5px 1px 3px 0px;
	    outline: none;
	    padding: 3px 0px 3px 3px;
	    -webkit-transition: all 0.05s ease-in-out;
            -ms-transition: all 0.05s ease-in-out;
	}
	textarea:focus {
	    border: 1px solid rgba(81, 203, 238, 1);
	    box-shadow: 0 0 6px rgba(81, 203, 238, 1);
	    margin: 5px 1px 3px 0px;
	    padding: 3px 0px 3px 3px;
	}
    }

    append D {</style>}

    # SCRIPT
    append D {
................................................................................
		html += ' style="vertical-align: 10px; font-family: monospace;"';
	    }
	    html += '>  in(' + id + ')  </label>';
	    html += '<textarea id="code' + id + '" rows="1"';
	    if (msLike) {
		html += ' style="width: 90%; resize: none;';
		html += ' font-family: Consolas, monospace;';
		html += ' overflow: hidden">';
	    } else {
		html += ' style="width: 90%; resize: none;';
		html += ' font-family: monospace; overflow: hidden"';
	    }
	    html += '></textarea></div><div class="field"';
	    html += ' id="out' + id + '-pre"';
	    if (msLike) {







|

|
<
<


|
<
|
|







 







|







735
736
737
738
739
740
741
742
743
744


745
746
747

748
749
750
751
752
753
754
755
756
...
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
	    }
	}
    }

    append D {
	textarea {
	    border: 1px solid #AAAAAA;
	    margin: 4px;
	    outline: none;
	    padding: 4px;


	}
	textarea:focus {
	    border: 3px solid rgba(81, 203, 238, 1);

	    margin: 2px;
	    padding: 4px;
	}
    }

    append D {</style>}

    # SCRIPT
    append D {
................................................................................
		html += ' style="vertical-align: 10px; font-family: monospace;"';
	    }
	    html += '>  in(' + id + ')  </label>';
	    html += '<textarea id="code' + id + '" rows="1"';
	    if (msLike) {
		html += ' style="width: 90%; resize: none;';
		html += ' font-family: Consolas, monospace;';
		html += ' overflow: hidden"';
	    } else {
		html += ' style="width: 90%; resize: none;';
		html += ' font-family: monospace; overflow: hidden"';
	    }
	    html += '></textarea></div><div class="field"';
	    html += ' id="out' + id + '-pre"';
	    if (msLike) {