Awesome!
On Mon, Mar 5, 2012 at 1:26 AM, Gustaf Nilsson <[email protected]> wrote: > 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
