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    735   	    }
   736    736   	}
   737    737       }
   738    738   
   739    739       append D {
   740    740   	textarea {
   741    741   	    border: 1px solid #AAAAAA;
   742         -	    margin: 5px 1px 3px 0px;
          742  +	    margin: 4px;
   743    743   	    outline: none;
   744         -	    padding: 3px 0px 3px 3px;
   745         -	    -webkit-transition: all 0.05s ease-in-out;
   746         -            -ms-transition: all 0.05s ease-in-out;
          744  +	    padding: 4px;
   747    745   	}
   748    746   	textarea:focus {
   749         -	    border: 1px solid rgba(81, 203, 238, 1);
   750         -	    box-shadow: 0 0 6px rgba(81, 203, 238, 1);
   751         -	    margin: 5px 1px 3px 0px;
   752         -	    padding: 3px 0px 3px 3px;
          747  +	    border: 3px solid rgba(81, 203, 238, 1);
          748  +	    margin: 2px;
          749  +	    padding: 4px;
   753    750   	}
   754    751       }
   755    752   
   756    753       append D {</style>}
   757    754   
   758    755       # SCRIPT
   759    756       append D {
................................................................................
   888    885   		html += ' style="vertical-align: 10px; font-family: monospace;"';
   889    886   	    }
   890    887   	    html += '>  in(' + id + ')  </label>';
   891    888   	    html += '<textarea id="code' + id + '" rows="1"';
   892    889   	    if (msLike) {
   893    890   		html += ' style="width: 90%; resize: none;';
   894    891   		html += ' font-family: Consolas, monospace;';
   895         -		html += ' overflow: hidden">';
          892  +		html += ' overflow: hidden"';
   896    893   	    } else {
   897    894   		html += ' style="width: 90%; resize: none;';
   898    895   		html += ' font-family: monospace; overflow: hidden"';
   899    896   	    }
   900    897   	    html += '></textarea></div><div class="field"';
   901    898   	    html += ' id="out' + id + '-pre"';
   902    899   	    if (msLike) {