diff options
| author | Tilman Keskinoz <arved@FreeBSD.org> | 2004-08-17 13:58:21 +0000 |
|---|---|---|
| committer | Tilman Keskinoz <arved@FreeBSD.org> | 2004-08-17 13:58:21 +0000 |
| commit | b52b39c34f1e7af765656d8c4be3c750d9a773a8 (patch) | |
| tree | d7df45de09462e88ea7774e58fb8ecaad9b2afb3 | |
| parent | d0d66420108bd998f5fc22838cac3e4c50fddc3e (diff) | |
| download | ports-b52b39c34f1e7af765656d8c4be3c750d9a773a8.tar.gz ports-b52b39c34f1e7af765656d8c4be3c750d9a773a8.zip | |
Notes
| -rw-r--r-- | graphics/diacanvas/files/patch-diamagnifytool.c | 10 | ||||
| -rw-r--r-- | science/glens/files/patch-ui.cpp | 30 |
2 files changed, 40 insertions, 0 deletions
diff --git a/graphics/diacanvas/files/patch-diamagnifytool.c b/graphics/diacanvas/files/patch-diamagnifytool.c new file mode 100644 index 000000000000..74c50d3557e1 --- /dev/null +++ b/graphics/diacanvas/files/patch-diamagnifytool.c @@ -0,0 +1,10 @@ +--- diacanvas/diamagnifytool.c.orig Tue Aug 17 15:52:45 2004 ++++ diacanvas/diamagnifytool.c Tue Aug 17 15:53:00 2004 +@@ -118,6 +118,7 @@ + } + break; + default: ++ break; + } /* switch */ + return FALSE; + } diff --git a/science/glens/files/patch-ui.cpp b/science/glens/files/patch-ui.cpp new file mode 100644 index 000000000000..5faee6ea96aa --- /dev/null +++ b/science/glens/files/patch-ui.cpp @@ -0,0 +1,30 @@ +--- src/ui.cpp.orig Tue Aug 17 15:50:17 2004 ++++ src/ui.cpp Tue Aug 17 15:56:34 2004 +@@ -320,7 +320,7 @@ + + GLUI_RadioGroup *group = win_control->add_radiogroup_to_panel(panel, &d,1,ctrl_callback); + +- radio = new (GLUI_RadioButton*)[ndefl]; ++ radio = new GLUI_RadioButton*[ndefl]; + + for(i=0;i<ndefl;i++) + { +@@ -406,12 +406,12 @@ + + int i; + +- st = new (GLUI_StaticText*)[n]; +- cb = new (GLUI_Checkbox*)[n]; +- ex = new (GLUI_EditText*)[n]; +- ey = new (GLUI_EditText*)[n]; +- ez = new (GLUI_EditText*)[n]; +- em = new (GLUI_EditText*)[n]; ++ st = new GLUI_StaticText*[n]; ++ cb = new GLUI_Checkbox*[n]; ++ ex = new GLUI_EditText*[n]; ++ ey = new GLUI_EditText*[n]; ++ ez = new GLUI_EditText*[n]; ++ em = new GLUI_EditText*[n]; + + char text[10]; + |