| 84 | } |
| 85 | |
| 86 | void |
| 87 | set_name_width(Widget w, int new_width) |
| 88 | { |
| 89 | Arg args[1]; |
| 90 | Widget name; |
| 91 | |
| 92 | name = XtNameToWidget(w, WNAME); |
| 93 | XtSetArg(args[0], XtNwidth, new_width); |
| 94 | XtSetValues(name, args, ONE); |
| 95 | } |
| 96 | |
| 97 | int |
| 98 | get_name_width(Widget w) |