patches/gnome-desktop-01-jds-about-branding.diff
author mattman
Wed, 27 Aug 2008 09:11:01 +0000
changeset 13295 4777f5c6e381
parent 13222 0a2d45ef1afc
child 13532 0e9954d4726f
permissions -rw-r--r--
* patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767 gnome-about menu entry should say "About GNOME".
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11456
421d96445938 2008-01-15 Damien Carbery <[email protected]>
dcarbery
parents: 11217
diff changeset
     1
--- gnome-desktop-2.21.5.old/Makefile.am	2007-11-19 17:16:14.655547000 +0000
421d96445938 2008-01-15 Damien Carbery <[email protected]>
dcarbery
parents: 11217
diff changeset
     2
+++ gnome-desktop-2.21.5/Makefile.am	2007-11-19 17:17:29.263500000 +0000
8943
e888e99f531c 2007-01-09 Damien Carbery <[email protected]>
dcarbery
parents: 8628
diff changeset
     3
@@ -1,5 +1,10 @@
e888e99f531c 2007-01-09 Damien Carbery <[email protected]>
dcarbery
parents: 8628
diff changeset
     4
 ACLOCAL_AMFLAGS = -I m4
e888e99f531c 2007-01-09 Damien Carbery <[email protected]>
dcarbery
parents: 8628
diff changeset
     5
 
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
     6
+XML_IN_FILES=gnome-version.xml.in
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
     7
+XML_FILES=$(XML_IN_FILES:.xml.in=.xml)
6128
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
     8
+versiondir=$(datadir)/gnome-about
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
     9
+version_DATA=$(XML_FILES)
6128
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    10
+
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    11
 SUBDIRS =			\
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    12
 	po 			\
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    13
 	libgnome-desktop 	\
12687
cc9973f3f3b6 2008-06-17 Damien Carbery <[email protected]>
dcarbery
parents: 12234
diff changeset
    14
@@ -16,14 +16,12 @@
6128
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    15
 
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    16
 EXTRA_DIST =			\
9466
e45bf4602e59 2007-03-06 Damien Carbery <[email protected]>
dcarbery
parents: 9275
diff changeset
    17
 	MAINTAINERS		\
6128
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    18
-	gnome-version.xml.in.in	\
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    19
-	gnome-version.xml	\
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    20
+	$(XML_IN_FILES)		\
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    21
+	$(XML_FILES)		\
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    22
 	COPYING-DOCS		\
10515
79c4a78f3fd3 2007-09-18 Damien Carbery <[email protected]>
dcarbery
parents: 10464
diff changeset
    23
 	HACKING			\
6128
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    24
 	gnome-doc-utils.make
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    25
 
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    26
-versiondir=$(datadir)/gnome-about
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    27
-version_DATA=gnome-version.xml
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    28
 @INTLTOOL_XML_RULE@
428aa6cb07c3 2005-10-19 Glynn Foster <[email protected]>
gman
parents: 6042
diff changeset
    29
 
7161
c4593a50500c 2006-04-28 Glynn Foster <[email protected]>
gf115653
parents: 6487
diff changeset
    30
 DISTCHECK_CONFIGURE_FLAGS = --enable-gtk-doc --disable-scrollkeeper
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    31
--- gnome-desktop-2.21.2.old/configure.in	2007-11-19 17:16:14.653238000 +0000
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    32
+++ gnome-desktop-2.21.2/configure.in	2007-11-19 17:17:29.243978000 +0000
8943
e888e99f531c 2007-01-09 Damien Carbery <[email protected]>
dcarbery
parents: 8628
diff changeset
    33
@@ -40,15 +40,21 @@
8379
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    34
 GNOME_DATE=`date +"%Y-%m-%d"`
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    35
 
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    36
 AC_ARG_WITH(gnome_distributor, [  --with-gnome-distributor=DISTRIBUTOR  Specify name of GNOME distributor])
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    37
+AC_ARG_WITH(gnome_distributor_version, [  --with-gnome-distributor-version=DISTRIBUTOR  Specify version of GNOME distributor])
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    38
 
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    39
 if test "x$with_gnome_distributor" != x ; then
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    40
   GNOME_DISTRIBUTOR=$with_gnome_distributor
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    41
 fi
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    42
 
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    43
+if test "x$with_gnome_distributor_version" != x ; then
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    44
+  GNOME_DISTRIBUTOR_VERSION=$with_gnome_distributor_version
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    45
+fi
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    46
+
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    47
 AC_SUBST(GNOME_PLATFORM)
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    48
 AC_SUBST(GNOME_MINOR)
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    49
 AC_SUBST(GNOME_MICRO)
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    50
 AC_SUBST(GNOME_DISTRIBUTOR)
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    51
+AC_SUBST(GNOME_DISTRIBUTOR_VERSION)
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    52
 AC_SUBST(GNOME_DATE)
affbc1bd15b5 Remove the fuzz !
mattman
parents: 7753
diff changeset
    53
 
8943
e888e99f531c 2007-01-09 Damien Carbery <[email protected]>
dcarbery
parents: 8628
diff changeset
    54
 GNOME_COMMON_INIT
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    55
--- gnome-desktop-2.21.2.old/gnome-about/contributors.list	2007-11-19 17:16:13.948459000 +0000
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    56
+++ gnome-desktop-2.21.2/gnome-about/contributors.list	2007-11-19 17:17:07.507665000 +0000
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    57
@@ -555,3 +555,96 @@
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    58
 Sascha Ziemann
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    59
 Michael Zucchi
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    60
 Jason van Zyl
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    61
+Alfred Peng
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    62
+Alvaro Lopez Ortega
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    63
+Amith Yamasani
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    64
+Anand Subramanian
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    65
+Antonio Xu 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    66
+Archana Shah
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    67
+Ashish Mukharji
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    68
+Balamurali Viswanathan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    69
+Biswa Lal
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    70
+Bolian Yin
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    71
+Brian Lu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    72
+Brian Nitz
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    73
+Calvin Liu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    74
+Carl Gadener
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    75
+Chandrashekhar BK
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    76
+Curtis Sasaki
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    77
+Dan Baigent
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    78
+Darren Kenny
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    79
+Dave Lin
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    80
+Deirdre Williams
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    81
+Derek Rafter
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    82
+Dermot McCluskey
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    83
+Dinoop Thomas
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    84
+Dirk Grobler
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    85
+Ervin Yan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    86
+Evan Yan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    87
+Gary Little
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    88
+Geoff Baysinger
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    89
+Ghee Teo
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    90
+Ginn Chen
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    91
+Girish Kulkarni
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    92
+Halton Huo
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    93
+Hema Seetharamaiah
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    94
+Henry Jia
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    95
+Ii Gyoung Park
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    96
+Jack Jia
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    97
+Jedy Wang
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    98
+Jeff McMeekin
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
    99
+Jerry Tan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   100
+Jessie Li
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   101
+Jijun Yu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   102
+John Fischer
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   103
+John Rice
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   104
+Joshua Xia
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   105
+Kalpesh Shah
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   106
+Kaveri Murthy
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   107
+Kyle Yuan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   108
+Lalith Kumar
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   109
+Laszlo Kovacs
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   110
+Laszlo Peter
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   111
+Leena Gunda
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   112
+Leo Binchy
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   113
+Leon Sha
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   114
+Leon Zhang
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   115
+Louie Zhao
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   116
+Louise Siu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   117
+Luke Shi
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   118
+Mark Duggan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   119
+Mark Yang
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   120
+Martin Damboldt
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   121
+Michael Krivoruchko
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   122
+Michael Twomey
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   123
+Michal Pryc
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   124
+Mike Lei
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   125
+Muktha Narayan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   126
+Nancy Lee
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   127
+Narayana Pattipati
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   128
+Neo Liu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   129
+Niall Power
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   130
+Olaf Felka
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   131
+Oliver Braun
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   132
+Partha Pratim
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   133
+Patrick Gu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   134
+Pete Zha
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   135
+Rick Ju
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   136
+Robert Kinsella
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   137
+Robert O'Dea
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   138
+Robin Lu
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   139
+Simford Dong
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   140
+Sowmya Adiga
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   141
+Srirama Sharma
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   142
+Suresh Chandrasekharan
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   143
+Susan Jefferies
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   144
+Takao Fujiwara
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   145
+Terry Ponce
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   146
+Thorsten Laux
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   147
+Vijay Anand
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   148
+Vijaykumar Patwari
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   149
+Vinay M R
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   150
+Vishnu Kumar
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   151
+Yan Dong Yao
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   152
+Yogeesh MB
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   153
+Young J. Song
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   154
--- gnome-desktop-2.22.1.old/gnome-about/gnome-about.in	2008-04-30 13:40:59.991106000 +0100
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   155
+++ gnome-desktop-2.22.1/gnome-about/gnome-about.in	2008-04-30 13:46:03.284742000 +0100
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   156
@@ -38,7 +38,7 @@
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   157
 import cairo
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   158
 from math import pi
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   159
 
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   160
-import os, sys, random, time, gettext, locale
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   161
+import os, sys, random, time, gettext, locale, string
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   162
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   163
 import xml.dom.minidom
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   164
 
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   165
@@ -58,11 +58,12 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   166
 gettext.install (GETTEXT_PACKAGE, LOCALEDIR, unicode = True)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   167
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   168
 header_links = [
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   169
-    (_("About GNOME"), "http://www.gnome.org/about/"),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   170
-    (_("News"), "http://news.gnome.org/"),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   171
-    (_("GNOME Library"), "http://library.gnome.org/"),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   172
-    (_("Friends of GNOME"), "http://www.gnome.org/friends/"),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   173
-    (_("Contact"), "http://www.gnome.org/contact/"),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   174
+    (_("About JDS"), "http://www.sun.com/software/javadesktopsystem/", True),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   175
+    (_("About GNOME"), "http://www.gnome.org/about/", True),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   176
+    (_("Software"), "http://www.sun.com/software/", True),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   177
+    (_("Developers"), "http://developers.sun.com/", True),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   178
+    (_("GNOME Library"), "http://library.gnome.org/", True),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   179
+    (_("Contact"), "http://www.sun.com/contact/", True),
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   180
 ]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   181
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   182
 translated_contributors = [
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   183
@@ -80,6 +81,12 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   184
         return False
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   185
     return file[0]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   186
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   187
+def locate_program (program):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   188
+    for dir in string.split(os.environ['PATH'], os.pathsep):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   189
+        if os.access(os.path.join(dir, program), os.X_OK):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   190
+            return os.path.join(dir, program)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   191
+    return None
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   192
+
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   193
 def cleanup_date (date):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   194
     '''Parse a date as found in gnome-version.xml and nicely format it'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   195
     try:
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   196
@@ -535,14 +542,16 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   197
     url       = ""
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   198
     menu      = None
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   199
     selection = None
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   200
+    is_link   = False
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   201
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   202
-    def __init__ (self, label, url):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   203
+    def __init__ (self, label, url, is_link):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   204
         '''Initialize object'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   205
         super (HyperLink, self).__init__ ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   206
         markup = "<b><u>%s</u></b>" % label
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   207
         self.set_markup (markup)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   208
         self.set_selectable (True)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   209
         self.url = url
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   210
+        self.is_link = is_link
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   211
         self.create_menu ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   212
         link_color = self.style_get_property ("link-color") 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   213
         if not link_color:
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   214
@@ -551,10 +560,16 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   215
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   216
     def open_url (self, *args):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   217
         '''Use GNOME API to open the url'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   218
-        try:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   219
-            gnome.url_show (self.url)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   220
-        except Exception, e:
11738
5dd2e42550bc 2008-02-27 Damien Carbery <[email protected]>
dcarbery
parents: 11456
diff changeset
   221
-            print '''Warning: could not open "%s": %s''' % (self.url, e)
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   222
+        if self.is_link != False:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   223
+            try:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   224
+                gnome.url_show (self.url)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   225
+            except Exception, e:
11738
5dd2e42550bc 2008-02-27 Damien Carbery <[email protected]>
dcarbery
parents: 11456
diff changeset
   226
+                print '''Warning: could not open "%s": %s''' % (self.url, e)
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   227
+        else:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   228
+            try:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   229
+                os.system (self.url)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   230
+            except Exception, e:
11738
5dd2e42550bc 2008-02-27 Damien Carbery <[email protected]>
dcarbery
parents: 11456
diff changeset
   231
+                print '''Warning: could not launch "%s": %s''' % (self.url, e)
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   232
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   233
     def copy_url (self, *args):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   234
         '''Copy URL to Clipboard'''
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   235
@@ -724,22 +739,33 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   236
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   237
         def make_link_widget (link):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   238
             '''Helper function which makes an HyperLink and shows it'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   239
-            label = HyperLink (link[0], link[1])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   240
-            label.show_all ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   241
-            return label
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   242
+            '''if link[2] is False, then a program, so check if on path'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   243
+            if link[2] == True:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   244
+                label = HyperLink (link[0], link[1], link[2])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   245
+                label.show_all ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   246
+                return label
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   247
+            else:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   248
+                path = locate_program(link[1])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   249
+                if path:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   250
+                    label = HyperLink (link[0], link[1], link[2])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   251
+                    label.show_all ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   252
+                    return label
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   253
+                else:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   254
+                    return None
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   255
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   256
         widgets = map (make_link_widget, self.links)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   257
         put_widgets = 0
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   258
         for widget in widgets:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   259
-            if put_widgets > 0:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   260
-                if dot:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   261
-                    image = gtk.Image ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   262
-                    image.set_from_pixmap (dot, None)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   263
-                    self.put (image, current_x + 5, base_y + 6)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   264
-                current_x += 16
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   265
-            self.put (widget, current_x, base_y)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   266
-            current_x += widget.size_request ()[0]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   267
-            put_widgets += 1
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   268
+            if widget:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   269
+                if put_widgets > 0:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   270
+                    if dot:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   271
+                        image = gtk.Image ()
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   272
+                        image.set_from_pixmap (dot, None)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   273
+                        self.put (image, current_x + 5, base_y + 6)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   274
+                    current_x += 16
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   275
+                self.put (widget, current_x, base_y)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   276
+                current_x += widget.size_request ()[0]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   277
+                put_widgets += 1
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   278
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   279
         self.width = current_x + 10
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   280
         self.height = current_y
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   281
@@ -880,7 +906,7 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   282
         main_box.pack_start (welcome_label)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   283
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   284
         descriptions_label = VertAnimatedLabel (self.description_messages,
11456
421d96445938 2008-01-15 Damien Carbery <[email protected]>
dcarbery
parents: 11217
diff changeset
   285
-                                                300, 120,
421d96445938 2008-01-15 Damien Carbery <[email protected]>
dcarbery
parents: 11217
diff changeset
   286
+                                                402, 184,
421d96445938 2008-01-15 Damien Carbery <[email protected]>
dcarbery
parents: 11217
diff changeset
   287
                                                 DESCRIPTION_DELAY, "%s")
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   288
         welcome_label.connect ("button-press-event",
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   289
                                descriptions_label.on_button_press)
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   290
@@ -954,6 +980,7 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   291
                     "minor" : "",
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   292
                     "micro" : "",
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   293
                     "distributor" : "",
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   294
+                    "distributor-version" : "",
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   295
                     "date" : ""
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   296
                 }
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   297
 
12234
8aadfdc763ae * base-specs/gnome-desktop.spec : Re-Order patch application as
mattman
parents: 11738
diff changeset
   298
@@ -964,13 +991,17 @@
11217
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   299
                 self.load_description_messages (node)
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   300
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   301
         '''Format version'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   302
-        if not len (infos["minor"]):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   303
-            version = infos["platform"]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   304
-        elif not len (infos["micro"]):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   305
-            version = "%s.%s" % (infos["platform"], infos["minor"])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   306
+        if infos["distributor-version"]:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   307
+            '''Use Distributor's version over gnome version'''
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   308
+            version = infos["distributor-version"]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   309
         else:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   310
-            version = "%s.%s.%s" % (infos["platform"], infos["minor"],
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   311
-                                    infos["micro"])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   312
+            if not len (infos["minor"]):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   313
+                version = infos["platform"]
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   314
+            elif not len (infos["micro"]):
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   315
+                version = "%s.%s" % (infos["platform"], infos["minor"])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   316
+            else:
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   317
+                version = "%s.%s.%s" % (infos["platform"], infos["minor"],
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   318
+                                        infos["micro"])
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   319
 
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   320
         return [
d1778cc22a58 * patches/gnome-desktop-01-jds-about-branding.diff : gnome-about has been
mattman
parents: 10561
diff changeset
   321
                     (_("Version"), version),
13295
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   322
--- gnome-desktop-2.23.90.old/gnome-about/gnome-about.desktop.in.in	2008-08-27 09:59:05.713104000 +0100
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   323
+++ gnome-desktop-2.23.90/gnome-about/gnome-about.desktop.in.in	2008-08-27 09:59:36.221572000 +0100
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   324
@@ -6,7 +6,7 @@
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   325
 Icon=gnome-logo-icon-transparent
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   326
 Terminal=false
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   327
 Type=Application
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   328
-Categories=GNOME;GTK;Core;
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   329
+Categories=GNOME;GTK;Application;System;
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   330
 OnlyShowIn=GNOME;
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   331
 X-GNOME-Bugzilla-Bugzilla=GNOME
4777f5c6e381 * patches/gnome-desktop-01-jds-about-branding.diff : Fix bug:6698767
mattman
parents: 13222
diff changeset
   332
 X-GNOME-Bugzilla-Product=gnome-desktop