diff options
| author | bland <bland@FreeBSD.org> | 2003-10-18 15:18:33 +0800 |
|---|---|---|
| committer | bland <bland@FreeBSD.org> | 2003-10-18 15:18:33 +0800 |
| commit | 389aa33c69826f9aff0655a317363c1132f9469e (patch) | |
| tree | c58dfed2cb9226404e3832f90d6f64f280a65fbb /editors/gedit-plugins | |
| parent | 2eccd647446b1ad8da337c126941e765ae15221e (diff) | |
| download | freebsd-ports-graphics-389aa33c69826f9aff0655a317363c1132f9469e.tar.gz freebsd-ports-graphics-389aa33c69826f9aff0655a317363c1132f9469e.tar.zst freebsd-ports-graphics-389aa33c69826f9aff0655a317363c1132f9469e.zip | |
- Unbroke build after recent plugin API change in gedit.
- Show the right help page when the help button is pressed.
Reported by: kris via bento
Obtained from: GNOME cvs
Diffstat (limited to 'editors/gedit-plugins')
| -rw-r--r-- | editors/gedit-plugins/Makefile | 1 | ||||
| -rw-r--r-- | editors/gedit-plugins/files/patch-plugins::diff::diff.c | 30 |
2 files changed, 31 insertions, 0 deletions
diff --git a/editors/gedit-plugins/Makefile b/editors/gedit-plugins/Makefile index 3766b80b5c5..378365ac58b 100644 --- a/editors/gedit-plugins/Makefile +++ b/editors/gedit-plugins/Makefile @@ -7,6 +7,7 @@ PORTNAME= gedit-plugins PORTVERSION= 2.3.5 +PORTREVISION= 1 CATEGORIES= editors gnome MASTER_SITES= ${MASTER_SITE_GNOME} MASTER_SITE_SUBDIR= sources/${PORTNAME}/2.3 diff --git a/editors/gedit-plugins/files/patch-plugins::diff::diff.c b/editors/gedit-plugins/files/patch-plugins::diff::diff.c new file mode 100644 index 00000000000..6a2c8f1146c --- /dev/null +++ b/editors/gedit-plugins/files/patch-plugins::diff::diff.c @@ -0,0 +1,30 @@ +--- plugins/diff/diff.c.orig Sat Oct 18 16:02:21 2003 ++++ plugins/diff/diff.c Sat Oct 18 16:05:51 2003 +@@ -56,7 +56,6 @@ + #include <gedit/gedit-mdi.h> + #include <gedit/gedit-output-window.h> + +- + #define DIFF_BASE_KEY "/apps/gedit-2/plugins/diff" + #define DIFF_LOCATION_KEY "/diff-program-location" + #define UNIFIED_FORMAT_KEY "/use-unified-format" +@@ -438,7 +437,7 @@ + + case GTK_RESPONSE_HELP: + /* FIXME: choose a better link id */ +- gnome_help_display ("gedit.xml", "gedit-use-plugins", &error); ++ gnome_help_display ("gedit.xml", "gedit-compare-files-plugin", &error); + + if (error != NULL) + { +@@ -959,7 +958,9 @@ + + temp = gedit_plugin_locate_program (DIFF_PROGRAM_NAME, + plugin_name, +- parent); ++ parent, ++ DIFF_BASE_KEY DIFF_LOCATION_KEY, ++ "gedit-compare-files-configure"); + + if (temp != NULL) + { |