diff options
| author | culot <culot@FreeBSD.org> | 2011-07-17 00:52:52 +0800 |
|---|---|---|
| committer | culot <culot@FreeBSD.org> | 2011-07-17 00:52:52 +0800 |
| commit | 6baf2cbeabc25d0c046199f718912e25dcb02be9 (patch) | |
| tree | 4c0d2bf8cf83c0772c89a4f3260b3f860a8ffdc6 /devel/gps | |
| parent | a5568018984710910a21322c6c4254097d9d11d3 (diff) | |
| download | freebsd-ports-gnome-6baf2cbeabc25d0c046199f718912e25dcb02be9.tar.gz freebsd-ports-gnome-6baf2cbeabc25d0c046199f718912e25dcb02be9.tar.zst freebsd-ports-gnome-6baf2cbeabc25d0c046199f718912e25dcb02be9.zip | |
- Fix a runtime crash when trying to access the project properties menu
- Bump PORTREVISION
PR: ports/158763
Submitted by: John Marino <freebsdml@marino.st> (maintainer)
Diffstat (limited to 'devel/gps')
| -rw-r--r-- | devel/gps/Makefile | 1 | ||||
| -rw-r--r-- | devel/gps/files/patch-prj_editor-src-project_properties.adb | 20 | ||||
| -rw-r--r-- | devel/gps/files/patch-prj_editor-src-project_viewers.adb | 11 | ||||
| -rw-r--r-- | devel/gps/files/patch-prj_editor-src-project_viewers.ads | 11 |
4 files changed, 43 insertions, 0 deletions
diff --git a/devel/gps/Makefile b/devel/gps/Makefile index 575f16ea48ac..8873073a93b2 100644 --- a/devel/gps/Makefile +++ b/devel/gps/Makefile @@ -7,6 +7,7 @@ PORTNAME= gps PORTVERSION= 5.0.0 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= http://downloads.dragonlace.net/src/ \ http://dragonlace.mirrors.ada.cx/src/ diff --git a/devel/gps/files/patch-prj_editor-src-project_properties.adb b/devel/gps/files/patch-prj_editor-src-project_properties.adb new file mode 100644 index 000000000000..38a58e668a21 --- /dev/null +++ b/devel/gps/files/patch-prj_editor-src-project_properties.adb @@ -0,0 +1,20 @@ +--- prj_editor/src/project_properties.adb.orig 2010-12-14 23:30:31.000000000 +0100 ++++ prj_editor/src/project_properties.adb +@@ -4925,7 +4925,7 @@ + then + -- Some pages might not be visible though... + P := Get_Nth_Project_Editor_Page +- (Ed.Kernel, Page - Pages_From_XML_Count); ++ (Ed.Kernel, Page - Pages_From_XML_Count + 1); + end if; + + if P /= null then +@@ -4934,7 +4934,7 @@ + begin + Refresh + (Page => P, +- Widget => Ed.Pages (Page - Pages_From_XML_Count), ++ Widget => Ed.Pages (Page - Pages_From_XML_Count + 1), + Project => Ed.Project, + Languages => Languages.all); + Free (Languages); diff --git a/devel/gps/files/patch-prj_editor-src-project_viewers.adb b/devel/gps/files/patch-prj_editor-src-project_viewers.adb new file mode 100644 index 000000000000..0dc756adc6a3 --- /dev/null +++ b/devel/gps/files/patch-prj_editor-src-project_viewers.adb @@ -0,0 +1,11 @@ +--- prj_editor/src/project_viewers.adb.orig 2010-12-14 23:30:31.000000000 +0100 ++++ prj_editor/src/project_viewers.adb +@@ -1657,7 +1657,7 @@ + --------------------------------- + + function Get_Nth_Project_Editor_Page +- (Kernel : access Kernel_Handle_Record'Class; Num : Natural) ++ (Kernel : access Kernel_Handle_Record'Class; Num : Positive) + return Project_Editor_Page + is + pragma Unreferenced (Kernel); diff --git a/devel/gps/files/patch-prj_editor-src-project_viewers.ads b/devel/gps/files/patch-prj_editor-src-project_viewers.ads new file mode 100644 index 000000000000..0f5f42c3a36a --- /dev/null +++ b/devel/gps/files/patch-prj_editor-src-project_viewers.ads @@ -0,0 +1,11 @@ +--- prj_editor/src/project_viewers.ads.orig 2010-12-14 23:30:31.000000000 +0100 ++++ prj_editor/src/project_viewers.ads +@@ -159,7 +159,7 @@ + -- Return the number of registered project editor pages + + function Get_Nth_Project_Editor_Page +- (Kernel : access GPS.Kernel.Kernel_Handle_Record'Class; Num : Natural) ++ (Kernel : access GPS.Kernel.Kernel_Handle_Record'Class; Num : Positive) + return Project_Editor_Page; + -- Return the Num-th registered project editor page. + -- First page is number 1. |