1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#! /bin/sh -e
##
## DP: Make the GNU formation rules available in the
## DP: preferences(https://bugs.eclipse.org/bugs/show_bug.cgi?id=91770)
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch}"
if [ $# -ne 1 ]; then
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1
fi
case "$1" in
-patch)
patch $patch_opts -p0 < $0;;
-unpatch)
patch $patch_opts -p0 -R < $0;;
*)
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1;;
esac
exit 0
@DPATCH@
--- source-tree/plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/FormatterMessages.java.orig 2006-01-12 05:34:37.000000000 +0000
+++ source-tree/plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/FormatterMessages.java 2006-01-12 05:35:30.000000000 +0000
@@ -439,6 +439,7 @@
public static String NewLinesTabPage_annotations_group_option_after_annotation;
public static String ProfileManager_default_profile_name;
public static String ProfileManager_eclipse_profile_name;
+ public static String ProfileManager_gnu_profile_name;
public static String ProfileManager_java_conventions_profile_name;
public static String ProfileManager_unmanaged_profile;
public static String ProfileManager_unmanaged_profile_with_name;
--- source-tree/plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/FormatterMessages.properties.orig 2006-01-12 05:36:33.000000000 +0000
+++ source-tree/plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/FormatterMessages.properties 2006-01-12 05:37:20.000000000 +0000
@@ -519,6 +519,7 @@
ProfileManager_default_profile_name=Eclipse 2.1 [built-in]
ProfileManager_eclipse_profile_name=Eclipse [built-in]
+ProfileManager_gnu_profile_name=GNU [built-in]
ProfileManager_java_conventions_profile_name=Java Conventions [built-in]
ProfileManager_unmanaged_profile=Unmanaged profile
|
