| patch |
summary |
view |
raw |
| 01_fix_crash_314310.diff |
gnome-splashscreen-manager/lib/gnome-splashscreen-manager/ui/main_window.rb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
|
view
|
download
|
| 02_add_tooltips_379545.diff |
gnome-art/lib/gnome-art/ui/main_window.rb | 11 ++++++++
gnome-splashscreen-manager/lib/gnome-splashscreen-manager/ui/main_window.rb | 13 +++++++++-
2 files changed, 23 insertions(+), 1 deletion(-)
|
view
|
download
|
| 03_network_detection.diff |
gnome-art/lib/gnome-art/get_art.rb | 6 ++++++
gnome-art/lib/gnome-art/gnome_art.rb | 29 +++++++++++++++++++++++++++++
gnome-art/lib/gnome-art/ui/main_window.rb | 9 +++++++++
3 files changed, 44 insertions(+)
|
view
|
download
|
| 04_patch_gtk_save_dialog.diff |
gnome-art/lib/gnome-art/ui/main_window.rb | 35 +++++++++++++++++-------------
1 file changed, 20 insertions(+), 15 deletions(-)
|
view
|
download
|
| 20_use-gnome-appearance-properties.diff |
gnome-art/lib/gnome-art/ui/main_window.rb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
|
view
|
download
|
| 21_fix-xml-output.diff |
gnome-splashscreen-manager/lib/gnome-splashscreen-manager/gnome_splashscreen_manager.rb | 2 +-
gnome-splashscreen-manager/lib/gnome-splashscreen-manager/splash_screens.rb | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
|
view
|
download
|
| 22_more-infos-when-deleting-activated-splash.diff |
gnome-splashscreen-manager/lib/gnome-splashscreen-manager/ui/main_window.rb | 21 ++++++++++
1 file changed, 21 insertions(+)
|
view
|
download
|
| 23_add-user-agent.diff_480498.diff |
gnome-art/lib/gnome-art/get_art.rb | 2 +-
gnome-art/lib/gnome-art/gnome_art.rb | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
|
view
|
download
|