Changes between Version 1 and Version 2 of GreasemonkeyScriptForSmallTitles
- Timestamp:
- Oct 31, 2006, 9:55:50 PM (18 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
GreasemonkeyScriptForSmallTitles
v1 v2 1 When working on a django app, I generally keep a dedicated browser window up with multiple tabs resident on various pages within the django documentation, along with a tab or two on the various ticket reports. The default title on these pages has ''Django | Documentation | '' as a prefix which is enough to overflow the available title width I allocate per tab. The attached [http://greasemonkey.mozdev.org/ Greasemonkey] script will short the title by basing the title off the URL componentfollowing /documentation/ On all other pages outside the doc hierarchy, it simple strips off the generic prefix of ''Django | '' to yield titles like ''Code | New Ticket'' or ''Code | ExampleApps''.1 When working on a django app, I generally keep a dedicated browser window up with multiple tabs resident on various pages within the django documentation, along with a tab or two on the various ticket reports. The default title on these pages has ''Django | Documentation | '' as a prefix which is enough to overflow the available title width I allocate per tab. The attached [http://greasemonkey.mozdev.org/ Greasemonkey] script will shortten the browser title by basing the title off the URL components following /documentation/ On all other pages outside the doc hierarchy, it simple strips off the generic prefix of ''Django | '' to yield titles like ''Code | New Ticket'' or ''Code | ExampleApps''. 2 2 3 Latest version of this script will be able to be retreived from:3 The latest version of this script will be able to be retreived from: 4 4 [https://svn.wamber.net/projects/wamber/browser/wam-homedir/trunk/lib/greasemonkey/djangoproject-titles.user.js? my site]