FWIW, similar sorts of things were done in HorizontalSplitPanel and
DockPanel for the RTL work that was done as part of 1.5. Both of these
panels had a concept of LEFT or EAST in GWT 1.4, but the bidi-friendly
LINE_START and LINE_END contants were added in GWT 1.5.
On Wed, Feb 18, 2009 at 9:43
Is @noflip{} insufficient?
If you go down this route, it would be necessary to add -begin and
-end suffixes as well.
border-begin: 4px;
padding-begin: 5px;
--
Bob Vawter
Google Web Toolkit Team
--~--~-~--~~~---~--~~
Also, what about four-valued properties?
--
Bob Vawter
Google Web Toolkit Team
--~--~-~--~~~---~--~~
http://groups.google.com/group/Google-Web-Toolkit-Contributors
-~--~~~~--~~--~--~---