Was thinking the same thing! On 4 Mar 2012 23:16, "Peter Bittner" <[email protected]> wrote:
> I'v got a question on the numerous image files in the > doc/pyjs_site/public folder: > > - blue_arrow*.png (8 images) > - bottom_left/right.png (2 images) > - corner_dialog_*.png (10 images) > - green_*.png (4 images) > - panel_*.png (6 images) > > According to my understanding they all depend on the TabPanel widget > that is used by the website application: It's there and in the > tabpanelwidget example where those images are found. What I don't > understand is where they originally come from (should be somewhere in > library/pyjamas/ui/, but there seem to be no such files). > > At least a part of the images seem to be for the old-school way of > making borders, margin, padding, and rounded corners. Can we get rid > of them? I'm wondering if that's something that comes from GWT and is > all obsolete as soon as someone here decides to "upgrade Pyjamas" to > the latest GWT, or if this is home brewed Pyjamas code. If it's the > latter I'd like to replace as much as possible by CSS. Would that be > okay, and where's the right place to start? > > Here are some sites that come in handy when redoing the rounded > corners thingy: (as a note to self) > - http://border-radius.com/ > - http://www.cssportal.com/css3-rounded-corner/ > - http://jonraasch.com/blog/css-rounded-corners-in-all-browsers > > Peter >
