diff options
| author | Jan Djärv | 2003-06-03 17:38:41 +0000 |
|---|---|---|
| committer | Jan Djärv | 2003-06-03 17:38:41 +0000 |
| commit | adcb132cbaa14f2bae8b8555a5091405ad7956f7 (patch) | |
| tree | 5ad41d03894547294f0d86b9cffb9d5024dc61b3 /src | |
| parent | fd6cfe111fd26be843f3deb6c9c98a4a09b8ef99 (diff) | |
| download | emacs-adcb132cbaa14f2bae8b8555a5091405ad7956f7.tar.gz emacs-adcb132cbaa14f2bae8b8555a5091405ad7956f7.zip | |
* gtkutil.c (make_menu_item): Make sure we don't crash on a NULL
menu item label.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/gtkutil.c | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 9c4822ce1da..8aec4824cc4 100644 --- a/src/ChangeLog +++ b/src/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2003-06-03 Jan Dj,Ad(Brv <jan.h.d@swipnet.se> | ||
| 2 | |||
| 3 | * gtkutil.c (make_menu_item): Make sure we don't crash on a NULL | ||
| 4 | menu item label. | ||
| 5 | |||
| 1 | 2003-06-03 Richard M. Stallman <rms@gnu.org> | 6 | 2003-06-03 Richard M. Stallman <rms@gnu.org> |
| 2 | 7 | ||
| 3 | * window.c (Fwindow_edges): Doc fix. | 8 | * window.c (Fwindow_edges): Doc fix. |
diff --git a/src/gtkutil.c b/src/gtkutil.c index 76d16c07695..6ad7bc24246 100644 --- a/src/gtkutil.c +++ b/src/gtkutil.c | |||
| @@ -1249,6 +1249,12 @@ make_menu_item (utf8_label, utf8_key, item, group) | |||
| 1249 | GtkWidget *w; | 1249 | GtkWidget *w; |
| 1250 | GtkWidget *wtoadd = 0; | 1250 | GtkWidget *wtoadd = 0; |
| 1251 | 1251 | ||
| 1252 | /* It has been observed that some menu items have a NULL name field. | ||
| 1253 | This will lead to this function being called with a NULL utf8_label. | ||
| 1254 | GTK crashes on that so we set a blank label. Why there is a NULL | ||
| 1255 | name remains to be investigated. */ | ||
| 1256 | if (! utf8_label) utf8_label = " "; | ||
| 1257 | |||
| 1252 | if (utf8_key) | 1258 | if (utf8_key) |
| 1253 | wtoadd = make_widget_for_menu_item (utf8_label, utf8_key); | 1259 | wtoadd = make_widget_for_menu_item (utf8_label, utf8_key); |
| 1254 | 1260 | ||