Support for XML comments (propagated to HTML)

This commit is contained in:
Jeff Parsons 2016-03-31 12:56:51 -07:00
commit e70f46afff
11 changed files with 56 additions and 10 deletions

View file

@ -8,7 +8,7 @@
<ram id="ramCPQ" addr="0xfa0000" size="0x60000" comment="COMPAQ memory at 0xFA0000"/>
<ram id="ramExt" addr="0x100000" size="0x100000" comment="Extended memory at 0x100000"/>
<rom id="romBIOS" addr="0xf8000" size="0x8000" alias="[0xf0000,0xffff0000,0xffff8000]" file="/devices/pc/rom/compaq/deskpro386/1988-01-28/1988-01-28.json"/>
<video ref="/devices/pc/video/compaq/vga/109360-001/256kb-vga-lock.xml"/>
<video ref="/devices/pc/video/compaq/vga/109360-001/256kb-autolock.xml"/>
<fdc ref="/disks/pc/compiled/library.xml" automount='{A: {name: "COMPAQ MS-DOS 3.31 (Disk 2)", path: "/disks/pc/dos/compaq/3.31/COMPAQ-DOS331-DISK2.json"}, B: {name: "COMPAQ MS-DOS 3.31 (Disk 3)", path: "/disks/pc/dos/compaq/3.31/COMPAQ-DOS331-DISK3.json"}}'/>
<keyboard ref="/devices/pc/keyboard/us84-buttons-functions.xml"/>
<debugger id="debugger" messages="fault|port" commands=""/>

View file

@ -8,7 +8,7 @@
<ram id="ramCPQ" addr="0xfa0000" size="0x60000" comment="COMPAQ memory at 0xFA0000"/>
<ram id="ramExt" addr="0x100000" size="0x100000" comment="Extended memory at 0x100000"/>
<rom id="romBIOS" addr="0xf8000" size="0x8000" alias="[0xf0000,0xffff0000,0xffff8000]" file="/devices/pc/rom/compaq/deskpro386/1988-01-28/1988-01-28.json"/>
<video ref="/devices/pc/video/compaq/vga/109360-001/256kb-vga-lock.xml"/>
<video ref="/devices/pc/video/compaq/vga/109360-001/256kb-autolock.xml"/>
<fdc ref="/disks/pc/compiled/library.xml" automount='{A: {name: "COMPAQ MS-DOS 3.31 (Disk 2)", path: "/disks/pc/dos/compaq/3.31/COMPAQ-DOS331-DISK2.json"}, B: {name: "COMPAQ MS-DOS 3.31 (Disk 3)", path: "/disks/pc/dos/compaq/3.31/COMPAQ-DOS331-DISK3.json"}}'/>
<keyboard ref="/devices/pc/keyboard/us84-buttons-functions.xml"/>
<debugger id="debugger" messages="fault|port" commands=""/>

View file

@ -1,5 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="1280" screenheight="800" scale="true" touchscreen="mouse" autolock="true" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="1280" screenheight="700" scale="true" touchscreen="mouse" autolock="true" pos="center" padding="8px">
<comment>
If [Wikipedia](https://en.wikipedia.org/wiki/Enhanced_Graphics_Adapter) is correct that the IBM EGA
(presumably when paired with an IBM 5154 EGA monitor) has a "pixel aspect ratio" of 1:1.37 at its highest
resolution (640x350), that suggests we should "stretch" our screen size vertically to 350 * 1.37, or 640x480
(or something proportional, like 1280x960), assuming the native display has a "pixel aspect ratio" of 1:1.
But testing reveals that round images appear roundest when we stick with a screen size proportional to 640x350.
Also note that 1280x700 produces crisper results than 640x350, and 2560x1400 is sharper still (at least when
using Chrome). I'm going to split the difference and go with 1280x700.
</comment>
<menu>
<title>COMPAQ Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x20000" screenwidth="640" screenheight="400" autolock="true" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x20000" screenwidth="640" screenheight="350" autolock="true" pos="center" padding="8px">
<menu>
<title>IBM Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1,5 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x20000" screenwidth="1280" screenheight="800" scale="true" touchscreen="mouse" autolock="true" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x20000" screenwidth="1280" screenheight="700" scale="true" touchscreen="mouse" autolock="true" pos="center" padding="8px">
<comment>
If [Wikipedia](https://en.wikipedia.org/wiki/Enhanced_Graphics_Adapter) is correct that the IBM EGA
(presumably when paired with an IBM 5154 EGA monitor) has a "pixel aspect ratio" of 1:1.37 at its highest
resolution (640x350), that suggests we should "stretch" our screen size vertically to 350 * 1.37, or 640x480
(or something proportional, like 1280x960), assuming the native display has a "pixel aspect ratio" of 1:1.
But testing reveals that round images appear roundest when we stick with a screen size proportional to 640x350.
Also note that 1280x700 produces crisper results than 640x350, and 2560x1400 is sharper still (at least when
using Chrome). I'm going to split the difference and go with 1280x700.
</comment>
<menu>
<title>IBM Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1,5 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x20000" screenwidth="1280" screenheight="800" scale="true" touchscreen="mouse" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x20000" screenwidth="1280" screenheight="700" scale="true" touchscreen="mouse" pos="center" padding="8px">
<comment>
If [Wikipedia](https://en.wikipedia.org/wiki/Enhanced_Graphics_Adapter) is correct that the IBM EGA
(presumably when paired with an IBM 5154 EGA monitor) has a "pixel aspect ratio" of 1:1.37 at its highest
resolution (640x350), that suggests we should "stretch" our screen size vertically to 350 * 1.37, or 640x480
(or something proportional, like 1280x960), assuming the native display has a "pixel aspect ratio" of 1:1.
But testing reveals that round images appear roundest when we stick with a screen size proportional to 640x350.
Also note that 1280x700 produces crisper results than 640x350, and 2560x1400 is sharper still (at least when
using Chrome). I'm going to split the difference and go with 1280x700.
</comment>
<menu>
<title>IBM Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="640" screenheight="400" width="640px" autolock="true" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="640" screenheight="350" autolock="true" pos="center" padding="8px">
<menu>
<title>IBM Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1,5 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="1280" screenheight="800" scale="true" touchscreen="mouse" autolock="true" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="1280" screenheight="700" scale="true" touchscreen="mouse" autolock="true" pos="center" padding="8px">
<comment>
If [Wikipedia](https://en.wikipedia.org/wiki/Enhanced_Graphics_Adapter) is correct that the IBM EGA
(presumably when paired with an IBM 5154 EGA monitor) has a "pixel aspect ratio" of 1:1.37 at its highest
resolution (640x350), that suggests we should "stretch" our screen size vertically to 350 * 1.37, or 640x480
(or something proportional, like 1280x960), assuming the native display has a "pixel aspect ratio" of 1:1.
But testing reveals that round images appear roundest when we stick with a screen size proportional to 640x350.
Also note that 1280x700 produces crisper results than 640x350, and 2560x1400 is sharper still (at least when
using Chrome). I'm going to split the difference and go with 1280x700.
</comment>
<menu>
<title>IBM Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1,5 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="1280" screenheight="800" scale="true" touchscreen="mouse" pos="center" padding="8px">
<video id="videoEGA" model="ega" memory="0x40000" screenwidth="1280" screenheight="700" scale="true" touchscreen="mouse" pos="center" padding="8px">
<comment>
If [Wikipedia](https://en.wikipedia.org/wiki/Enhanced_Graphics_Adapter) is correct that the IBM EGA
(presumably when paired with an IBM 5154 EGA monitor) has a "pixel aspect ratio" of 1:1.37 at its highest
resolution (640x350), that suggests we should "stretch" our screen size vertically to 350 * 1.37, or 640x480
(or something proportional, like 1280x960), assuming the native display has a "pixel aspect ratio" of 1:1.
But testing reveals that round images appear roundest when we stick with a screen size proportional to 640x350.
Also note that 1280x700 produces crisper results than 640x350, and 2560x1400 is sharper still (at least when
using Chrome). I'm going to split the difference and go with 1280x700.
</comment>
<menu>
<title>IBM Enhanced Color Display</title>
<control type="container" pos="right">

View file

@ -1116,7 +1116,8 @@
</xsl:call-template>
</xsl:template>
<xsl:template name="comment">
<xsl:template match="comment">
<xsl:comment><xsl:apply-templates/></xsl:comment>
</xsl:template>
</xsl:stylesheet>