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
