]> source.dussan.org Git - xmlgraphics-fop.git/commitdiff
Changed frame configuration.
authorPeter Bernard West <pbwest@apache.org>
Fri, 24 Jan 2003 09:36:49 +0000 (09:36 +0000)
committerPeter Bernard West <pbwest@apache.org>
Fri, 24 Jan 2003 09:36:49 +0000 (09:36 +0000)
git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@195890 13f79535-47bb-0310-9956-ffa450edef68

src/documentation/content/design/alt.design/alt-design-frameset.html
src/documentation/content/design/alt.design/logo.html
src/documentation/content/design/alt.design/properties/index.html

index 596b9f682e4982d8e441101151e447f3529652b2..761309d957871d9480597f7a908ceefc6dd54324 100644 (file)
@@ -5,54 +5,15 @@
     <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%,*");
+        fset.setAttribute("rows", "95%,*");
         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,*");
+        fset.setAttribute("rows", "20%,*");
         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 displayCode(src) {
-          top.frames[1].location = src;
-          widenCol();
+          top.frames[2].location = src;
           shortenCol();
       }
 
       function displayHtml(src) {
-          top.frames[2].location = src;
-          narrowCol();
+          top.frames[1].location = src;
           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">
+  <frameset id="altDesignFramesetCols" cols="180,*">
+    <frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
+           border: 0px;" src="logo.html" scrolling="no">
+    <frameset id="altDesignFramesetRows" rows="95%,*">
+      <frame id="contents" src="properties/introduction.html">
       <frame id= "codeDisplayFrame"
              class= "codeDisplay"
              src= "codeframe.html" >
     </frameset>
-    <frame id="contents" src="properties/introduction.html">
   </frameset>
 </html>
index 5f54e075697994189c99b2ae2d78a6300a0c2687..d5c0c6ec4c11798f024a173f2fa1ddbe2bb4ffb6 100644 (file)
       }
       img {padding:0px;margin:0px;border:0px;}
       input {float:right;}
-      input#widenButton {position:fixed; top: 0px; right: 0px}
-      input#lengthenButton {position:fixed; top: 2em; right: 0px}
+      input#lengthenButton {position:fixed; bottom: 0.2em; right:
+      0.2em}
       li.toplevel {color: #CFDCED}
       -->
     </style>
   </head>
   <body>
-    <input id="widenButton" onclick="parent.toggleColWidths();return
-           true;" type="button" value="&gt;">
     <input id="lengthenButton" onclick="parent.toggleColHeights();return
            true;" type="button" value="^">
     <div id="menu" class="menu">
index f2060b3dc69896a5d5ceeb4ec94c3e003df27d94..7b7ebd36225660b29367124bccc774a4833d7b23 100644 (file)
@@ -5,54 +5,15 @@
     <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%,*");
+        fset.setAttribute("rows", "95%,*");
         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,*");
+        fset.setAttribute("rows", "20%,*");
         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 displayCode(src) {
-          top.frames[1].location = src;
-          widenCol();
+          top.frames[2].location = src;
           shortenCol();
       }
 
       function displayHtml(src) {
-          top.frames[2].location = src;
-          narrowCol();
+          top.frames[1].location = src;
           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">
+  <frameset id="altDesignFramesetCols" cols="180,*">
+    <frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
+           border: 0px;" src="../logo.html" scrolling="no">
+    <frameset id="altDesignFramesetRows" rows="95%,*">
+      <frame id="contents" src="introduction.html">
       <frame id= "codeDisplayFrame"
              class= "codeDisplay"
              src= "../codeframe.html" >
     </frameset>
-    <frame id="contents" src="introduction.html">
   </frameset>
 </html>