Thanks Eric, I think what we have now allows us to manually select a style by clicking in the textbox, which brings a dropdown where you can select a style.
1) It probably will be nice that when you click a widget the dropdown automatically filters the current styles applied, along with an entry for Add... which allows you to select other styles or add new ones. 2) The CSS button is the most prominent one and it was not even obvious too me that clicking the textbox actually brings a dropdown of style. Clicking CSS should still allow you to select all styles, or it probably should be done away with. I can open an issue to let others brainstorm this through? On Oct 5, 7:23 pm, "Eric Clayberg (Google)" <[email protected]> wrote: > The CSS > editor<http://code.google.com/webtoolkit/tools/gwtdesigner/features/gwt/css_...>you > refer to has actually be in the tool for a very long time. It was > originally designed to support editing of global CSS styles referenced from > HTML or from gwt.xml files. In the most recent GPE / GWT Designer release, > we added CSS style editing directly in the property pane of the editor. This > new CSS editing approach works with both globals styles as well as local > styles defined in the current UiBinder XML file. If you would like to see > the original CSS editor extended to support local styles, create a new issue > in the GWT Issue > Tracker<http://code.google.com/p/google-web-toolkit/issues/list> > . > > <http://1.bp.blogspot.com/-p4Y6uH0k1-o/TmjiP80r_XI/AAAAAAAAADc/gxj3wKc...> -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.
