diff options
Diffstat (limited to 'www/mozilla-devel/files')
| -rw-r--r-- | www/mozilla-devel/files/mozilla-devel.desktop.in | 2 | ||||
| -rw-r--r-- | www/mozilla-devel/files/patch-mozilla_widget_src_gtk2_mozdrawingarea.c | 12 |
2 files changed, 13 insertions, 1 deletions
diff --git a/www/mozilla-devel/files/mozilla-devel.desktop.in b/www/mozilla-devel/files/mozilla-devel.desktop.in index 5f05c0464d34..88d7475a54f6 100644 --- a/www/mozilla-devel/files/mozilla-devel.desktop.in +++ b/www/mozilla-devel/files/mozilla-devel.desktop.in @@ -164,6 +164,6 @@ Exec=mozilla-devel %U StartupNotify=true Terminal=false Type=Application -Icon=%%PREFIX%%/lib/mozilla/chrome/icons/default/default.xpm +Icon=%%PREFIX%%/lib/mozilla-devel/chrome/icons/default/default.xpm Categories=Application;Network; MimeType=text/html;text/xml;application/xhtml+xml; diff --git a/www/mozilla-devel/files/patch-mozilla_widget_src_gtk2_mozdrawingarea.c b/www/mozilla-devel/files/patch-mozilla_widget_src_gtk2_mozdrawingarea.c new file mode 100644 index 000000000000..9e58b51864f2 --- /dev/null +++ b/www/mozilla-devel/files/patch-mozilla_widget_src_gtk2_mozdrawingarea.c @@ -0,0 +1,12 @@ +--- widget/src/gtk2/mozdrawingarea.c.orig Tue Apr 30 12:29:00 2002 ++++ widget/src/gtk2/mozdrawingarea.c Thu Aug 18 22:27:27 2005 +@@ -168,7 +168,9 @@ + + drawingarea = MOZ_DRAWINGAREA(object); + ++ gdk_window_set_user_data(drawingarea->inner_window, NULL); + gdk_window_destroy(drawingarea->inner_window); ++ gdk_window_set_user_data(drawingarea->clip_window, NULL); + gdk_window_destroy(drawingarea->clip_window); + + (* parent_class->finalize) (object); |