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: |
88aafcd418d6ebc0fbb12c37cc890885 |
| User & Date: | chw 2019-06-17 16:23:13 |
Context
|
2019-06-18
| ||
| 05:40 | fix encoding issues in twv check-in: 028e69dc34 user: chw tags: trunk | |
|
2019-06-17
| ||
| 16:24 | merge with trunk check-in: 3d3b2386ea user: chw tags: wtf-8-experiment | |
| 16:23 | improve twv demo check-in: 88aafcd418 user: chw tags: trunk | |
| 16:22 | when building linux vanillawish use prebuilt twv if no webkit2gtk available check-in: 4d8dd37323 user: chw tags: trunk | |
Changes
Changes to undroid/tsb/tsb.tcl.
799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 |
set D_style {
<style>
body {
font-family: sans-serif, Arial, Tahoma, Helvetica;
font-size: 90%;
}
textarea {
font-family: Consolas, monospace;
font-size: 100%;
}
label {
font-family: Consolas, monospace;
margin: 1px;
padding: 1px;
}
pre {
/* overflow-x: auto; */
white-space: pre-wrap;
white-space: -moz-pre-wrap;
white-space: -pre-wrap;
white-space: -o-pre-wrap;
word-wrap: break-word;
}
pre, code {
font-family: Consolas, monospace;
font-size: 100%;
}
.infield * {
vertical-align: middle;
}
.tin {
width: 85%;
|
| | | |
799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 |
set D_style {
<style>
body {
font-family: sans-serif, Arial, Tahoma, Helvetica;
font-size: 90%;
}
textarea {
font-family: Consolas, Monaco, monospace;
font-size: 100%;
}
label {
font-family: Consolas, Monaco, monospace;
margin: 1px;
padding: 1px;
}
pre {
/* overflow-x: auto; */
white-space: pre-wrap;
white-space: -moz-pre-wrap;
white-space: -pre-wrap;
white-space: -o-pre-wrap;
word-wrap: break-word;
}
pre, code {
font-family: Consolas, Monaco, monospace;
font-size: 100%;
}
.infield * {
vertical-align: middle;
}
.tin {
width: 85%;
|