make title bar and app button look good on Windows (7)

[themes.git] / origdiff

diff --git a/origdiff b/origdiff
index f70e9d1c83959bada6a79f99cda869b88c72f8ed..cecebd500e7c2a4e1ce5759113be7d763c2d796e 100755 (executable)
--- a/origdiff
+++ b/origdiff
@@ -10,31 +10,36 @@ if [ -n "$1" ]; then
   SRC_DATE="$1"
   DST_DATE=`TZ=America/Los_Angeles date +%Y-%m-%d`
 
   SRC_DATE="$1"
   DST_DATE=`TZ=America/Los_Angeles date +%Y-%m-%d`
 

-  HG_COMM_DIR=/mnt/mozilla/hg/comm-central
+  HG_COMM_DIR=/mnt/mozilla/hg/comm-2.0
+  #HG_COMM_DIR=/mnt/mozilla/hg/comm-central

   COMM_HG_OPTIONS=
   COMM_DIR=suite/themes/classic/
   COMM_NAME_EXTRA=" (suite)"
   COMM_LOG=$RUN_DIR/themelog-suitedefault.$SRC_DATE.$DST_DATE.log
 
   COMM_HG_OPTIONS=
   COMM_DIR=suite/themes/classic/
   COMM_NAME_EXTRA=" (suite)"
   COMM_LOG=$RUN_DIR/themelog-suitedefault.$SRC_DATE.$DST_DATE.log
 

-  HG_MOZ_DIR=/mnt/mozilla/hg/comm-central/mozilla
+  HG_MOZ_DIR=/mnt/mozilla/hg/comm-2.0/mozilla
+  #HG_MOZ_DIR=/mnt/mozilla/hg/comm-central/mozilla

   MOZ_HG_OPTIONS=
   MOZ_DIR=toolkit/themes/winstripe/
   MOZ_NAME_EXTRA=" (toolkit)"
   MOZ_LOG=$RUN_DIR/themelog-tkwinstripe.$SRC_DATE.$DST_DATE.log
 
   MOZ_HG_OPTIONS=
   MOZ_DIR=toolkit/themes/winstripe/
   MOZ_NAME_EXTRA=" (toolkit)"
   MOZ_LOG=$RUN_DIR/themelog-tkwinstripe.$SRC_DATE.$DST_DATE.log
 

-  HG_MOZB_DIR=/mnt/mozilla/hg/comm-central/mozilla
+  HG_MOZB_DIR=/mnt/mozilla/hg/comm-2.0/mozilla
+  #HG_MOZB_DIR=/mnt/mozilla/hg/comm-central/mozilla

   MOZB_HG_OPTIONS=
   MOZB_DIR=browser/themes/winstripe/
   MOZB_NAME_EXTRA=" (browser)"
   MOZB_LOG=$RUN_DIR/themelog-browserwin.$SRC_DATE.$DST_DATE.log
 
   MOZB_HG_OPTIONS=
   MOZB_DIR=browser/themes/winstripe/
   MOZB_NAME_EXTRA=" (browser)"
   MOZB_LOG=$RUN_DIR/themelog-browserwin.$SRC_DATE.$DST_DATE.log
 

-  HG_DOMI_DIR=/mnt/mozilla/hg/comm-central/mozilla/extensions/inspector
+  HG_DOMI_DIR=/mnt/mozilla/hg/comm-2.0/mozilla/extensions/inspector
+  #HG_DOMI_DIR=/mnt/mozilla/hg/comm-central/mozilla/extensions/inspector

   DOMI_HG_OPTIONS=
   DOMI_DIR=resources/skin/classic/
   DOMI_NAME_EXTRA=
   DOMI_LOG=$RUN_DIR/themelog-domiclassic.$SRC_DATE.$DST_DATE.log
 
   DOMI_HG_OPTIONS=
   DOMI_DIR=resources/skin/classic/
   DOMI_NAME_EXTRA=
   DOMI_LOG=$RUN_DIR/themelog-domiclassic.$SRC_DATE.$DST_DATE.log
 

-  HG_CZ_DIR=/mnt/mozilla/hg/comm-central/mozilla/extensions/irc
+  HG_CZ_DIR=/mnt/mozilla/hg/comm-2.0/mozilla/extensions/irc
+  #HG_CZ_DIR=/mnt/mozilla/hg/comm-central/mozilla/extensions/irc

   CZ_HG_OPTIONS=
   CZ_DIR=xul/skin/
   CZ_NAME_EXTRA=
   CZ_HG_OPTIONS=
   CZ_DIR=xul/skin/
   CZ_NAME_EXTRA=