diff options
| author | Michael Johnson <ahze@FreeBSD.org> | 2007-02-23 01:11:20 +0000 |
|---|---|---|
| committer | Michael Johnson <ahze@FreeBSD.org> | 2007-02-23 01:11:20 +0000 |
| commit | ed0347a94af5198a6ea96fa86d9a442c30294e51 (patch) | |
| tree | cc35ec20f6f6c1db39613889f52b46898e7bf1d2 /x11-themes | |
| parent | 59e75c4a46469b6dd1fab191df39ed70e5f0aaa5 (diff) | |
| download | ports-ed0347a94af5198a6ea96fa86d9a442c30294e51.tar.gz ports-ed0347a94af5198a6ea96fa86d9a442c30294e51.zip | |
Notes
Diffstat (limited to 'x11-themes')
| -rw-r--r-- | x11-themes/gnome-splashscreen-manager/Makefile | 2 | ||||
| -rw-r--r-- | x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splachscreen-manager_ui_main_window.rb | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/x11-themes/gnome-splashscreen-manager/Makefile b/x11-themes/gnome-splashscreen-manager/Makefile index 54507e356935..d9effd64062c 100644 --- a/x11-themes/gnome-splashscreen-manager/Makefile +++ b/x11-themes/gnome-splashscreen-manager/Makefile @@ -7,7 +7,7 @@ PORTNAME= gnome-splashscreen-manager PORTVERSION= 0.2 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= x11-themes MASTER_SITES= http://www.miketech.net/gnome-art/download/ DISTNAME= gnome-art-${PORTVERSION} diff --git a/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splachscreen-manager_ui_main_window.rb b/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splachscreen-manager_ui_main_window.rb new file mode 100644 index 000000000000..7716eac4e5f0 --- /dev/null +++ b/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splachscreen-manager_ui_main_window.rb @@ -0,0 +1,11 @@ +--- lib/gnome-splashscreen-manager/ui/main_window.rb.orig Thu Feb 22 20:01:13 2007 ++++ lib/gnome-splashscreen-manager/ui/main_window.rb Thu Feb 22 20:01:34 2007 +@@ -422,7 +422,7 @@ + + #Add old splash screen + def add_old_splash_screen +- if (@old_splash_screen == "") ++ if (@old_splash_screen == "" || @old_splash_screen == nil) + return + end + |