Mercurial > hg > rlgwebd
view tty.css @ 174:dc12ba30d559
Fix further crashes when following dgamelaunch games.
The crashes apparently resulted from reading a ttyrec header and
then trying to read the data chunk before dgamelaunch produced it.
When the data chunk did become available, it would be read by the
header function.
The simplest solution was to store the position for reading the
ttyrec file in the DGLSession, and to leave it unchanged if anything
unexpected occurs when reading.
author | John "Elwin" Edwards |
---|---|
date | Mon, 12 Jan 2015 17:10:35 +0000 |
parents | a497ecd116d9 |
children |
line wrap: on
line source
div#top { font-size: 1.2em; text-align: center; margin: 0.2em; } img#bell { visibility: hidden; margin-left: 2em; } div.keyrow { font-size: 1.2em; } div.keyrow > div:first-child { clear: left; } div.key { width: 2em; height: 2em; float: left; border: 2px solid black; margin: 0.2em; text-align: center; background-color: white; color: black; } div.rkey { width: 2em; height: 2em; float: right; border: 2px solid black; margin: 0.2em; text-align: center; background-color: white; color: black; } div.keysel { width: 2em; height: 2em; float: left; border: 2px solid black; margin: 0.2em; text-align: center; background-color: #A0EEA0; color: black; } div#shiftkey { width: 4em; } div#ctrlkey { width: 3em; } div#spacebar { width: 8em; margin-left: 12em; } div#termwrap { margin: 0.5em auto; padding: 1em; background-color: #808080; border: 0.25em solid #202020; border-radius: 1em; } div#inwrap { overflow-y: scroll; } div#term { display: table; font-size: 12px; font-family: monospace; white-space: pre; } div#term > div { display: table-row-group; } div.termrow { display: table-row; } span.termcell { display: table-cell; } div.rbutton { float: right; clear: right; border: 2px solid black; text-align: center; margin: 0.2em; font-size: 1.2em; padding: 0.1em; } div.rbutton > span { border: 1px solid black; padding: 0 0.1em; } div#debug { width: 100%; height: 10em; overflow: scroll; white-space: pre; clear: both; background-color: white; color: black; } div#debug > div { font-family: monospace; }