]> source.dussan.org Git - xmlgraphics-fop.git/commitdiff
Based on ../alt-design-frameset.html
authorPeter Bernard West <pbwest@apache.org>
Fri, 24 Jan 2003 01:03:45 +0000 (01:03 +0000)
committerPeter Bernard West <pbwest@apache.org>
Fri, 24 Jan 2003 01:03:45 +0000 (01:03 +0000)
git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@195881 13f79535-47bb-0310-9956-ffa450edef68

src/documentation/content/design/alt.design/properties/index.html [new file with mode: 0644]

diff --git a/src/documentation/content/design/alt.design/properties/index.html b/src/documentation/content/design/alt.design/properties/index.html
new file mode 100644 (file)
index 0000000..f2060b3
--- /dev/null
@@ -0,0 +1,106 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
+<html>
+  <head>
+    <title>Alt Design Frameset</title>
+    <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
+    <script type="application/x-javascript">
+      <!--
+      var isWide = false;
+      var isHigh = true;
+      
+      function widenCol() {
+        if (isWide) { return; }
+        fset = document.getElementById("altDesignFramesetCols");
+        fset.setAttribute("cols", "60%,*");
+        logowin = top.frames[0];
+        logodoc = logowin.document;
+        wbutton = logodoc.getElementById("widenButton");
+        //tnode = document.createTextNode("<");
+        //tchild = wbutton.firstChild;
+        wbutton.setAttribute("value", "<");
+        isWide = true;
+      }
+      
+      function narrowCol() {
+        if ( ! isWide) { return; }
+        fset = document.getElementById("altDesignFramesetCols");
+        fset.setAttribute("cols", "200,*");
+        logowin = top.frames[0];
+        logodoc = logowin.document;
+        wbutton = logodoc.getElementById("widenButton");
+        //tnode = document.createTextNode(">");
+        //tchild = wbutton.firstChild;
+        //wbutton.replaceChild(tnode, tchild);
+        wbutton.setAttribute("value", ">");
+        isWide = false;
+      }
+      
+      function toggleColWidths() {
+        if (isWide) {
+          narrowCol();
+        } else {
+          widenCol()
+        }
+      }
+      
+      function lengthenCol() {
+        if (isHigh) { return; }
+        fset = document.getElementById("altDesignFramesetRows");
+        fset.setAttribute("rows", "75%,*");
+        logowin = top.frames[0];
+        logodoc = logowin.document;
+        lbutton = logodoc.getElementById("lengthenButton");
+        //tnode = document.createTextNode("^");
+        //tchild = lbutton.firstChild;
+        //lbutton.replaceChild(tnode, tchild);
+        lbutton.setAttribute("value", "^");
+        isHigh = true;
+      }
+      
+      function shortenCol() {
+        if ( ! isHigh) { return; }
+        fset = document.getElementById("altDesignFramesetRows");
+        fset.setAttribute("rows", "100,*");
+        logowin = top.frames[0];
+        logodoc = logowin.document;
+        lbutton = logodoc.getElementById("lengthenButton");
+        //tnode = document.createTextNode("v");
+        //tchild = lbutton.firstChild;
+        //lbutton.replaceChild(tnode, tchild);
+        lbutton.setAttribute("value", "v");
+        isHigh = false;
+      }
+      
+      function toggleColHeights() {
+        if (isHigh) {
+          shortenCol();
+        } else {
+          lengthenCol()
+        }
+      }
+
+      function displayCode(src) {
+          top.frames[1].location = src;
+          widenCol();
+          shortenCol();
+      }
+
+      function displayHtml(src) {
+          top.frames[2].location = src;
+          narrowCol();
+          lengthenCol();
+      }
+      -->
+    </script>
+  </head>
+  <frameset id="altDesignFramesetCols" cols="200,*">
+    <frameset id="altDesignFramesetRows" rows="75%,*">
+      <frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
+             border: 0px;" src="../logo.html" scrolling="no">
+      <frame id= "codeDisplayFrame"
+             class= "codeDisplay"
+             src= "../codeframe.html" >
+    </frameset>
+    <frame id="contents" src="introduction.html">
+  </frameset>
+</html>