diff options
author | Olivier Hallot <olivier.hallot@libreoffice.org> | 2020-01-23 21:35:10 -0300 |
---|---|---|
committer | Olivier Hallot <olivier.hallot@libreoffice.org> | 2020-01-24 11:55:51 +0100 |
commit | e37d831bf9cb187c50a8854ad23cf066fad12eb9 (patch) | |
tree | 7d47d7564465b7418909b0ff1a30276a06266f44 | |
parent | 5948cfc8876a13354e446cf8589da961fb06282a (diff) |
xhpeditor: More tweaks in page layout
Change-Id: Ia3e9e8f7ab2da99a9dd812cdceda8f66f1112c9d
Reviewed-on: https://gerrit.libreoffice.org/c/dev-tools/+/87314
Reviewed-by: Olivier Hallot <olivier.hallot@libreoffice.org>
Tested-by: Olivier Hallot <olivier.hallot@libreoffice.org>
-rw-r--r-- | help3/xhpeditor/index.php | 20 | ||||
-rw-r--r-- | help3/xhpeditor/xhpeditor.css | 8 |
2 files changed, 16 insertions, 12 deletions
diff --git a/help3/xhpeditor/index.php b/help3/xhpeditor/index.php index 3f9e3aa4..9348183c 100644 --- a/help3/xhpeditor/index.php +++ b/help3/xhpeditor/index.php @@ -51,11 +51,11 @@ $xhp = $_POST["xhpdoc"]; </head> <body style="font-family:sans-serif;"> - <div class="editorpageheader"> + <div id="editorpageheader"> <h2>LibreOffice Documentation XHP Editor</h2> <?php include './menu.php';?> </div> - <div class="editortextarea"> + <div id="editortextarea"> <form id="CMtextarea" method="post" action="index.php"> <textarea id="xhpeditor" name="xhpdoc" form="CMtextarea"><?php echo htmlspecialchars($xhp,ENT_NOQUOTES);?></textarea> </form> @@ -63,7 +63,7 @@ $xhp = $_POST["xhpdoc"]; <?php $xhp = $_POST["xhpdoc"]; if (isset($_POST["render_page"])) { - echo '<div class="renderedpageheader"><h2>Rendered page</h2><div class="buttonrow"><div class="systembuttons"><p>System: '; + echo '<div id="renderedpageheader"><h2>Rendered page</h2><div class="buttonrow"><div class="systembuttons"><p>System: '; $opSys = array("MAC", "WIN", "UNIX"); foreach ($opSys as $value) { echo '<input type="radio" name="sys" onclick="setSystemSpan(\''.$value.'\')">'.$value.' '; @@ -73,7 +73,7 @@ $xhp = $_POST["xhpdoc"]; foreach ($appModule as $value){ echo '<input type="radio" name="app" onclick="setApplSpan(\''.$value.'\')">'.$value.' '; } - echo '</p></div></div></div><div class="renderedpage">'; + echo '</p></div></div></div><div id="renderedpage">'; $xml = new DOMDocument(); $xml->loadXML($xhp); $xsl = new DOMDocument; @@ -84,15 +84,15 @@ $xhp = $_POST["xhpdoc"]; $proc->setParameter("","iconpath",$CONFIG["icon_path"]); $proc->importStyleSheet($xsl); echo $proc->transformToXml($xml); - echo '</div>'; + echo "</div>"; }elseif (isset($_POST["check_xhp"])) { libxml_use_internal_errors(true); libxml_clear_errors(); $root = 'helpdocument'; $old = new DOMDocument; - echo '<div class="renderedpageheader"><h2>Help File Verification</h2></div>'; - echo '<div class="renderedpage"><h3>Check XML Formation</h3>'; + echo '<div id="renderedpageheader"><h2>Help File Verification</h2></div>'; + echo '<div id="renderedpage"><h3>Check XML Formation</h3>'; if ( !$old->loadXML($xhp) ) { $errors = libxml_get_errors(); echo '<p class="bug">The XML is malformed!</p>'; @@ -143,10 +143,14 @@ $xhp = $_POST["xhpdoc"]; } } }elseif (isset($_POST["get_patch"])) { + echo '<div id="renderedpageheader">'; echo '<h2>Get Patch:</h2>'; + echo "</div>"; } else { + echo '<div id="renderedpageheader">'; echo '<h2>Viewing Area</h2>'; - } + echo "</div>"; + }; ?> </body> </html> diff --git a/help3/xhpeditor/xhpeditor.css b/help3/xhpeditor/xhpeditor.css index c1230e7a..29314307 100644 --- a/help3/xhpeditor/xhpeditor.css +++ b/help3/xhpeditor/xhpeditor.css @@ -93,7 +93,7 @@ display: block; } -.editorpageheader{ +#editorpageheader{ grid-area: editorpageheader; position: sticky; top:0px; @@ -103,7 +103,7 @@ background: Beige; border: 1px solid gray; } -.editortextarea{ +#editortextarea{ grid-area: editortextarea; padding: 3px; margin: 0px; @@ -116,7 +116,7 @@ .applbuttons{ float:right; } -.renderedpageheader{ +#renderedpageheader{ grid-area:renderedpageheader; position: sticky; top:0px; @@ -125,7 +125,7 @@ background: AliceBlue; border:1px solid grey; } -.renderedpage { +#renderedpage { grid-area:renderedpage; padding: 3px; margin: 0px; |