On Thu, 2010-11-04 at 22:34 +0200, Stefan Kost wrote: > hi, > > people (including me) where wondering about the duplicated png files in each > gtk-doc manual. I believe this was historically done to avoid the gtk-doc > dependency for users (which I don't think is a problem nowadays - the package > is > small).
The problem isn't so much the package itself, more its dependencies. People don't want to have to docbook packages to read devel docs (if they don't actually need gtk-doc in their own modules). This could be done at a package level though, with a sub-package containing the gtk-doc directory where the devel docs get installed, as well as the icons. > Anyway I was wondering, if those 4 black icons could instead be symlinks to > the > theme icons. This would safe a bit of space and would align the look more with > the theme. One could even patch the colors in the css. > > The only think needed would be a hook to update those symlinks when the theme > changes. Do we have anything like this in the platform? I'm not sure that changing a web page based on themes is a good idea... _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
