Go to the documentation of this file.00001
00025 #ifndef __UTIL_H_INCLUDED__
00026 #define __UTIL_H_INCLUDED__
00027
00028
00029 Pixel get_pixel(Widget w, char *resource_value);
00030 XmFontList get_fontlist(Widget w, char *fontname);
00031
00032
00033 #endif
00034
00035
00036