diff options
| author |   Mike Gardiner <obz@gentoo.org> | 2003-10-26 08:07:25 +0000 |
|---|---|---|
| committer | Mike Gardiner <obz@gentoo.org> | 2003-10-26 08:07:25 +0000 |
| commit | 74f97b132c002499de92c22bcc63b90b0bd038d8 (patch) | |
| tree | 1e4e46fe30747f4bdbe3935f5715143ce7086629 /gnome-extra/gdesklets-core/files | |
| parent | New revision with FontSelector patch (diff) | |
| download | historical-74f97b132c002499de92c22bcc63b90b0bd038d8.tar.gz historical-74f97b132c002499de92c22bcc63b90b0bd038d8.tar.bz2 historical-74f97b132c002499de92c22bcc63b90b0bd038d8.zip | |
New revision with FontSelector patch
Diffstat (limited to 'gnome-extra/gdesklets-core/files')
3 files changed, 12 insertions, 1 deletions
diff --git a/gnome-extra/gdesklets-core/files/digest-gdesklets-core-0.22 b/gnome-extra/gdesklets-core/files/digest-gdesklets-core-0.22 deleted file mode 100644 index ec3ce3b0001d..000000000000 --- a/gnome-extra/gdesklets-core/files/digest-gdesklets-core-0.22 +++ /dev/null @@ -1 +0,0 @@ -MD5 8fa67e7e33ce33a8aa5994246e81ddee gDesklets-0.22.tar.bz2 250664 diff --git a/gnome-extra/gdesklets-core/files/digest-gdesklets-core-0.23-r1 b/gnome-extra/gdesklets-core/files/digest-gdesklets-core-0.23-r1 new file mode 100644 index 000000000000..a728aad7bc1a --- /dev/null +++ b/gnome-extra/gdesklets-core/files/digest-gdesklets-core-0.23-r1 @@ -0,0 +1 @@ +MD5 14beb76893e1f7f8f90b8a0b37a6856a gDesklets-0.23.tar.bz2 264493 diff --git a/gnome-extra/gdesklets-core/files/gdesklets-0.23-fontselector.patch b/gnome-extra/gdesklets-core/files/gdesklets-0.23-fontselector.patch new file mode 100644 index 000000000000..6f061712383b --- /dev/null +++ b/gnome-extra/gdesklets-core/files/gdesklets-0.23-fontselector.patch @@ -0,0 +1,11 @@ +--- gDesklets-0.23/Sensors/FontSelector/__init__.py.orig 2003-10-26 14:19:55.885667016 +0800 ++++ gDesklets-0.23/Sensors/FontSelector/__init__.py 2003-10-26 14:20:03.978436728 +0800 +@@ -29,7 +29,7 @@ + Sensor.__init__(self) + self._watch_config(self.config_watcher) + # setup configuration entries +- if (len(fontargs) == 1 and " " in fontargs[0]): ++ if (len(fontargs) == 1 and " " in fontargs[0]): + fontargs = \ + (fontargs[0].replace(" ", ",").replace(" ", ",")).split(",") + print "Using spaces to separate font entries is deprecated." |