commit f25f363c70e727ed9b6880170397c2f6877f9bd1
author Shawn O. Pearce <sop@google.com> Wed May 13 09:00:17 2009 -0700
committer Shawn O. Pearce <sop@google.com> Wed May 13 12:02:25 2009 -0700
tree 2352406f6b9a4d40f43f8db99fc5abb58ca05e9c
parent c823937200c183d676c8d2d7077cfbe283dfcd37

Load the GWT theme before any other stylesheets

This way other stylesheets can more easily override the GWT theme.

Signed-off-by: Shawn O. Pearce <sop@google.com>

src/main/java/com/google/gerrit/Gerrit.gwt.xml

diff --git a/src/main/java/com/google/gerrit/Gerrit.gwt.xml b/src/main/java/com/google/gerrit/Gerrit.gwt.xml
index 7368394..ef91ab0 100644
--- a/src/main/java/com/google/gerrit/Gerrit.gwt.xml
+++ b/src/main/java/com/google/gerrit/Gerrit.gwt.xml
@@ -15,14 +15,13 @@
 -->
 <module rename-to="gerrit">
   <inherits name='com.google.gwt.user.User'/>
+  <inherits name='com.google.gwt.user.theme.chrome.Chrome'/>
   <inherits name='com.google.gwtjsonrpc.GWTJSONRPC'/>
   <inherits name='com.google.gwtorm.GWTORM'/>
   <inherits name='com.google.gwtexpui.css.CSS'/>
   <inherits name='com.google.gwtexpui.clippy.Clippy'/>
   <inherits name='com.google.gwtexpui.progress.Progress'/>
   <inherits name='com.google.gwtexpui.safehtml.SafeHtml'/>
-
-  <inherits name='com.google.gwt.user.theme.chrome.Chrome'/>
   <inherits name='com.google.gerrit.UserAgent'/>
   <inherits name='org.spearce.jgit.JGit'/>
   <stylesheet src='gerrit.css' />