[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: How to package Mozilla themes?



> > skin,install,url,jar:resource:/chrome/pinball.jar!/communicator/
>                                                     ^^^^^^^^^^^^^^
> Are you sure these paths are right? They seem awfully short. Something 
> like /skin/pinball/communicator/ would seem more appropriate. I could be 
> wrong, but it would explain why update-mozilla-chrome won't update the 
> rdf.

Well, if I unzip the pinball.jar file, I get communicator/, editor/, 
etc. in the same directory, so I think they are right.  I could try 
recreating the .jar file with the longer paths and see if that fixes 
anything.

> I wouldn't do that: it pre-selects the theme for all users and may break
> other gecko-based browsers. Have a look at mozilla-locale-de-at's bug
> log for an example.
> <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=126087&repeatmerged=yes>

Actually, that was what I intended since it's such a cool theme :)  I take 
your point about its possible brokenness, though.

> > The problem is that Mozilla remains blissfully unaware of the new 
> > theme once the package is installed.  Doing "grep -ir pinball
> > /usr/lib/mozilla",

> Is is just not installed by default, or is it not even listed in the
> themes selection box?

Not listed at all, unfortunately.

> Nice! are there versions for the 1.0 RCs and the 1.0 final?

Yes, you should be able to go to Preferences->Appearance->Themes, then 
click on "Get New Themes" and it goes to 
http://mozilla.org/themes/download/.  At least it does for the latest 
unstable Mozilla package.

-- 
Kevin McCarty                Physics Department
kmccarty@princeton.edu       Princeton University
www.princeton.edu/~kmccarty  Princeton, NJ 08544


-- 
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org



Reply to: