« Previous | Next » 

Revision 57c50e7c

ID57c50e7c40ed7a2f507a7f9c036f79d6db71b2ab
Parent 5c2e8209
Child bc9942d1

Added by Panagiotis Astithas over 14 years ago

Small style fixes:
- Use the background color for the splitter.
- Remove the padding inside the dialog boxes so that our background color appears uniform in warnings and errors.
- Restore the padding we remove when overriding the gwt-DialogBox style.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences