Changeset 28375
- Timestamp:
- 01/13/09 13:09:33 (4 years ago)
- Files:
-
- 1 modified
-
lang/javascript/userscripts/jautopagerize.user.js (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
lang/javascript/userscripts/jautopagerize.user.js
r28366 r28375 405 405 } 406 406 407 408 407 if (!autopagerizeEnabled) return; 408 409 409 410 410 document.body.appendChild(AutoPagerize.icon); … … 419 419 window.addEventListener("dblclick", AutoPagerize.toggle, false); 420 420 421 AutoPagerize.icon.title = [ "SiteInfo: [", AutoPagerize._pageinfo.url, "] / size: ", r.length ].join(""); 421 422 AutoPagerize.updateStatus(); 422 423
![(please configure the [header_logo] section in trac.ini)](/share/chrome/site/your_project_logo.png)