diff options
| -rw-r--r-- | lwlib/lwlib-Xm.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/lwlib/lwlib-Xm.c b/lwlib/lwlib-Xm.c index 9c8fbe50949..766d3554e24 100644 --- a/lwlib/lwlib-Xm.c +++ b/lwlib/lwlib-Xm.c | |||
| @@ -139,6 +139,32 @@ void xm_manage_resizing P_ ((Widget, Boolean)); | |||
| 139 | #endif | 139 | #endif |
| 140 | 140 | ||
| 141 | 141 | ||
| 142 | #if 0 | ||
| 143 | |||
| 144 | /* Print the complete X resource name of widget WIDGET to stderr. | ||
| 145 | This is sometimes handy to have available. */ | ||
| 146 | |||
| 147 | void | ||
| 148 | x_print_complete_resource_name (widget) | ||
| 149 | Widget widget; | ||
| 150 | { | ||
| 151 | int i; | ||
| 152 | String names[100]; | ||
| 153 | |||
| 154 | for (i = 0; i < 100 && widget != NULL; ++i) | ||
| 155 | { | ||
| 156 | names[i] = XtName (widget); | ||
| 157 | widget = XtParent (widget); | ||
| 158 | } | ||
| 159 | |||
| 160 | for (--i; i >= 1; --i) | ||
| 161 | fprintf (stderr, "%s.", names[i]); | ||
| 162 | fprintf (stderr, "%s\n", names[0]); | ||
| 163 | } | ||
| 164 | |||
| 165 | #endif /* 0 */ | ||
| 166 | |||
| 167 | |||
| 142 | static destroyed_instance *all_destroyed_instances = NULL; | 168 | static destroyed_instance *all_destroyed_instances = NULL; |
| 143 | 169 | ||
| 144 | static destroyed_instance* | 170 | static destroyed_instance* |