Rename tabs

Talk about code development, features, specific bugs, enhancements, patches, and similar things.
Forum rules
Please keep everything here strictly on-topic.
This board is meant for Pale Moon source code development related subjects only like code snippets, patches, specific bugs, git, the repositories, etc.

This is not for tech support! Please do not post tech support questions in the "Development" board!
Please make sure not to use this board for support questions. Please post issues with specific websites, extensions, etc. in the relevant boards for those topics.

Please keep things on-topic as this forum will be used for reference for Pale Moon development. Expect topics that aren't relevant as such to be moved or deleted.
AnnDramaduh

Rename tabs

Unread post by AnnDramaduh » 2014-04-15, 17:47

Could you plz work on renaming tabs, and also on reducing their width?

Supernova

Re: Rename tabs

Unread post by Supernova » 2014-04-15, 17:55

Renaming, what ? I don't understand what you mean, give the option to the user to rename the tabs as he wish instead of only taking the page title ?
And for their width, there is just no need to, imho, since it is useful when you have, well numerous tabs, and if you open a lot of tabs, the width of each tab is reduced (but no to the point where you can't know what is the tab, which would be pointless)

dark_moon

Re: Rename tabs

Unread post by dark_moon » 2014-04-15, 18:13

Why you need to rename tabs? Then you didn't know what sites you have open.

The width can you change with this css script in your userchrome.css or use stylish addon:

Code: Select all

/* width for active tab: */
.tabbrowser-tab[selected="true"]{width:X px !important}

/* width for other tabs: */
.tabbrowser-tab:not([selected]){width:X px !important}
Change X to what you need.

jumba

Re: Rename tabs

Unread post by jumba » 2014-04-16, 06:40

I think there was some addon to rename tabs with random names, but that was for other purposes! ;)

Tab width is not tied to its title length, so renaming wouldn't help. Some add-on (tab-utilities, tab mixplus,..) had option to set the tab width to fit its title and to use the name of opened bookmark as the tab title. This way you could have very short tab titles for bookmarked tabs.

Also you can pin tabs to give space for other tabs.

edit: at least Tab Utilities has tab renaming function. and it has the hidden option "extensions.tabutils.tabFitTitle" :thumbup:
Last edited by jumba on 2014-04-16, 07:03, edited 2 times in total.

access2godzilla

Re: Rename tabs

Unread post by access2godzilla » 2014-04-16, 07:01

You could also rename tabs by modifying the contents of the <title> tags by using the developer tools.

Locked