/[classpath]/gjdoc/src/resources/htmldoclet/gjdoc.js
ViewVC logotype

Diff of /gjdoc/src/resources/htmldoclet/gjdoc.js

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by julian, Wed Dec 15 12:29:27 2004 UTC revision 1.2 by julian, Fri Feb 4 17:41:15 2005 UTC
# Line 93  function contentPageLoaded(title) Line 93  function contentPageLoaded(title)
93     if (title) {     if (title) {
94        top.document.title = title;        top.document.title = title;
95     }     }
96       /** 20050204: removed since there is only one stylesheet at the time
97     if (top.frames.length > 0) {     if (top.frames.length > 0) {
98        setStyleSheet(getActiveStylesheetTitle(top.frames.packages), "content");        setStyleSheet(getActiveStylesheetTitle(top.frames.packages), "content");
99     }     }
100     else if (top.selectedSheet) {     else if (top.selectedSheet) {
101        setStyleSheet(top.selectedSheet, "content");        setStyleSheet(top.selectedSheet, "content");
102     }     }
103       **/
104  }  }
105    
106  /**  /**
# Line 107  function contentPageLoaded(title) Line 109  function contentPageLoaded(title)
109   */   */
110  function secondaryPageLoaded(frame_name)  function secondaryPageLoaded(frame_name)
111  {  {
112       /** 20050204: removed since there is only one stylesheet at the time
113     setStyleSheet(getActiveStylesheetTitle(top.frames.packages), frame_name);     setStyleSheet(getActiveStylesheetTitle(top.frames.packages), frame_name);
114       **/
115  }  }

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26