annotate oldXMenu/Destroy.c @ 72380:37cc9e9df5a4

(gdb-frame-separate-io-buffer) (gdb-use-separate-io-buffer, menu): Avoid using `inferior' in text. (gdb-memory-mode, gdb-locals-watch-map): Don't quote lambda expressions. (gdb-info-breakpoints-custom): Use gdb-breakpoint-regexp. Only search till end of line. Add face to function names in case of no filename. Add face to variable names of watchpoints.
author Nick Roberts <nickrob@snap.net.nz>
date Sun, 13 Aug 2006 01:09:11 +0000
parents e8a3fb527b77
children ce127a46b1ca d04d8ccb3c41 c5406394f567
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #include "copyright.h"
Dave Love <fx@gnu.org>
parents:
diff changeset
2
Dave Love <fx@gnu.org>
parents:
diff changeset
3 /* Copyright Massachusetts Institute of Technology 1985 */
68640
e8a3fb527b77 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 65000
diff changeset
4 /* Copyright (C) 2002, 2003, 2004, 2005,
e8a3fb527b77 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 65000
diff changeset
5 2006 Free Software Foundation, Inc. */
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
6
Dave Love <fx@gnu.org>
parents:
diff changeset
7 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
8 * XMenu: MIT Project Athena, X Window system menu package
Dave Love <fx@gnu.org>
parents:
diff changeset
9 *
Dave Love <fx@gnu.org>
parents:
diff changeset
10 * XMenuDestroy - Free all resources associated with and XMenu.
Dave Love <fx@gnu.org>
parents:
diff changeset
11 *
Dave Love <fx@gnu.org>
parents:
diff changeset
12 * Author: Tony Della Fera, DEC
Dave Love <fx@gnu.org>
parents:
diff changeset
13 * August, 1985
Dave Love <fx@gnu.org>
parents:
diff changeset
14 *
Dave Love <fx@gnu.org>
parents:
diff changeset
15 */
Dave Love <fx@gnu.org>
parents:
diff changeset
16
Dave Love <fx@gnu.org>
parents:
diff changeset
17 #include "XMenuInt.h"
Dave Love <fx@gnu.org>
parents:
diff changeset
18
Dave Love <fx@gnu.org>
parents:
diff changeset
19 XMenuDestroy(display, menu)
Dave Love <fx@gnu.org>
parents:
diff changeset
20 Display *display;
Dave Love <fx@gnu.org>
parents:
diff changeset
21 register XMenu *menu; /* Menu object to destroy. */
Dave Love <fx@gnu.org>
parents:
diff changeset
22 {
Dave Love <fx@gnu.org>
parents:
diff changeset
23 register XMPane *p_ptr; /* Pointer to the current pane. */
Dave Love <fx@gnu.org>
parents:
diff changeset
24 register XMPane *p_next; /* Pointer to the next pane. */
Dave Love <fx@gnu.org>
parents:
diff changeset
25 register XMSelect *s_ptr; /* Pointer to the current selection. */
Dave Love <fx@gnu.org>
parents:
diff changeset
26 register XMSelect *s_next; /* Pointer to the next selection. */
Dave Love <fx@gnu.org>
parents:
diff changeset
27
Dave Love <fx@gnu.org>
parents:
diff changeset
28 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
29 * Destroy the selection and pane X windows and free
Dave Love <fx@gnu.org>
parents:
diff changeset
30 * their corresponding XMWindows.
Dave Love <fx@gnu.org>
parents:
diff changeset
31 */
Dave Love <fx@gnu.org>
parents:
diff changeset
32 for (
Dave Love <fx@gnu.org>
parents:
diff changeset
33 p_ptr = menu->p_list->next;
Dave Love <fx@gnu.org>
parents:
diff changeset
34 p_ptr != menu->p_list;
Dave Love <fx@gnu.org>
parents:
diff changeset
35 p_ptr = p_next
Dave Love <fx@gnu.org>
parents:
diff changeset
36 ) {
Dave Love <fx@gnu.org>
parents:
diff changeset
37 for (
Dave Love <fx@gnu.org>
parents:
diff changeset
38 s_ptr = p_ptr->s_list->next;
Dave Love <fx@gnu.org>
parents:
diff changeset
39 s_ptr != p_ptr->s_list;
Dave Love <fx@gnu.org>
parents:
diff changeset
40 s_ptr = s_next
Dave Love <fx@gnu.org>
parents:
diff changeset
41 ) {
Dave Love <fx@gnu.org>
parents:
diff changeset
42 s_next = s_ptr->next;
Dave Love <fx@gnu.org>
parents:
diff changeset
43 free(s_ptr);
Dave Love <fx@gnu.org>
parents:
diff changeset
44 }
Dave Love <fx@gnu.org>
parents:
diff changeset
45 if (p_ptr->window) {
Dave Love <fx@gnu.org>
parents:
diff changeset
46 XDestroySubwindows(display, p_ptr->window);
Dave Love <fx@gnu.org>
parents:
diff changeset
47 XDestroyWindow(display, p_ptr->window);
Dave Love <fx@gnu.org>
parents:
diff changeset
48 }
Dave Love <fx@gnu.org>
parents:
diff changeset
49 p_next = p_ptr->next;
Dave Love <fx@gnu.org>
parents:
diff changeset
50 free(p_ptr);
Dave Love <fx@gnu.org>
parents:
diff changeset
51 }
Dave Love <fx@gnu.org>
parents:
diff changeset
52
Dave Love <fx@gnu.org>
parents:
diff changeset
53 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
54 * Destroy the association table.
Dave Love <fx@gnu.org>
parents:
diff changeset
55 */
Dave Love <fx@gnu.org>
parents:
diff changeset
56 XDestroyAssocTable(menu->assoc_tab);
Dave Love <fx@gnu.org>
parents:
diff changeset
57
Dave Love <fx@gnu.org>
parents:
diff changeset
58 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
59 * Free the mouse cursor.
Dave Love <fx@gnu.org>
parents:
diff changeset
60 */
Dave Love <fx@gnu.org>
parents:
diff changeset
61 XFreeCursor(display, menu->mouse_cursor);
Dave Love <fx@gnu.org>
parents:
diff changeset
62
Dave Love <fx@gnu.org>
parents:
diff changeset
63 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
64 * Free the fonts.
Dave Love <fx@gnu.org>
parents:
diff changeset
65 */
Dave Love <fx@gnu.org>
parents:
diff changeset
66 XFreeFont(display, menu->p_fnt_info);
Dave Love <fx@gnu.org>
parents:
diff changeset
67 XFreeFont(display, menu->s_fnt_info);
Dave Love <fx@gnu.org>
parents:
diff changeset
68
Dave Love <fx@gnu.org>
parents:
diff changeset
69 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
70 * Free the pixmaps.
Dave Love <fx@gnu.org>
parents:
diff changeset
71 */
Dave Love <fx@gnu.org>
parents:
diff changeset
72 /* XFreePixmap(display, menu->p_bdr_pixmap);
Dave Love <fx@gnu.org>
parents:
diff changeset
73 XFreePixmap(display, menu->s_bdr_pixmap);
Dave Love <fx@gnu.org>
parents:
diff changeset
74 XFreePixmap(display, menu->p_frg_pixmap);
Dave Love <fx@gnu.org>
parents:
diff changeset
75 XFreePixmap(display, menu->s_frg_pixmap);
Dave Love <fx@gnu.org>
parents:
diff changeset
76 XFreePixmap(display, menu->bkgnd_pixmap); */
Dave Love <fx@gnu.org>
parents:
diff changeset
77 XFreePixmap(display, menu->inact_pixmap);
Dave Love <fx@gnu.org>
parents:
diff changeset
78
Dave Love <fx@gnu.org>
parents:
diff changeset
79 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
80 * Free the color cells.
Dave Love <fx@gnu.org>
parents:
diff changeset
81 */
Dave Love <fx@gnu.org>
parents:
diff changeset
82 if ((menu->p_bdr_color != BlackPixel(display, DefaultScreen(display))) && (menu->p_bdr_color != WhitePixel(display, DefaultScreen(display))))
Dave Love <fx@gnu.org>
parents:
diff changeset
83 XFreeColors(
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
84 display,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
85 DefaultColormap(display, DefaultScreen(display)),
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
86 &menu->p_bdr_color,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
87 1, 0);
Dave Love <fx@gnu.org>
parents:
diff changeset
88 if ((menu->s_bdr_color != BlackPixel(display, DefaultScreen(display))) && (menu->s_bdr_color != WhitePixel(display, DefaultScreen(display))))
Dave Love <fx@gnu.org>
parents:
diff changeset
89 XFreeColors(
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
90 display,
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
91 DefaultColormap(display, DefaultScreen(display)),
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
92 &menu->s_bdr_color,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
93 1, 0);
Dave Love <fx@gnu.org>
parents:
diff changeset
94 if ((menu->p_frg_color != BlackPixel(display, DefaultScreen(display))) && (menu->p_frg_color != WhitePixel(display, DefaultScreen(display))))
Dave Love <fx@gnu.org>
parents:
diff changeset
95 XFreeColors(
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
96 display,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
97 DefaultColormap(display, DefaultScreen(display)),
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
98 &menu->p_frg_color,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
99 1, 0);
Dave Love <fx@gnu.org>
parents:
diff changeset
100 if ((menu->s_frg_color != BlackPixel(display, DefaultScreen(display))) && (menu->s_frg_color != WhitePixel(display, DefaultScreen(display))))
Dave Love <fx@gnu.org>
parents:
diff changeset
101 XFreeColors(
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
102 display,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
103 DefaultColormap(display, DefaultScreen(display)),
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
104 &menu->s_frg_color,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
105 1, 0);
Dave Love <fx@gnu.org>
parents:
diff changeset
106 if ((menu->bkgnd_color != BlackPixel(display, DefaultScreen(display))) && (menu->bkgnd_color != WhitePixel(display, DefaultScreen(display))))
Dave Love <fx@gnu.org>
parents:
diff changeset
107 XFreeColors(
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
108 display,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
109 DefaultColormap(display, DefaultScreen(display)),
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25858
diff changeset
110 &menu->bkgnd_color,
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
111 1, 0);
Dave Love <fx@gnu.org>
parents:
diff changeset
112
Dave Love <fx@gnu.org>
parents:
diff changeset
113 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
114 * Free the XMenu.
Dave Love <fx@gnu.org>
parents:
diff changeset
115 */
Dave Love <fx@gnu.org>
parents:
diff changeset
116 free(menu);
Dave Love <fx@gnu.org>
parents:
diff changeset
117 }
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
118
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
119 /* arch-tag: 44c9589f-5893-46fc-bc23-1b03a7f9c015
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
120 (do not change this comment) */