RES_TYPE_STRING   605 src/androidfns.c                                                 RES_TYPE_STRING);
RES_TYPE_STRING   615 src/androidfns.c 				   RES_TYPE_STRING));
RES_TYPE_STRING   638 src/androidfns.c   gui_default_parameter (f, parms, Qfont, font, "font", "Font", RES_TYPE_STRING);
RES_TYPE_STRING   706 src/androidfns.c                                    RES_TYPE_STRING);
RES_TYPE_STRING   716 src/androidfns.c                               RES_TYPE_STRING);
RES_TYPE_STRING   808 src/androidfns.c                                           RES_TYPE_STRING));
RES_TYPE_STRING   870 src/androidfns.c                          "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING   931 src/androidfns.c                          "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING   933 src/androidfns.c                          "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING   935 src/androidfns.c                          "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING   937 src/androidfns.c                          "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  1000 src/androidfns.c                          "title", "Title", RES_TYPE_STRING);
RES_TYPE_STRING  1823 src/androidfns.c                               RES_TYPE_STRING);
RES_TYPE_STRING  1901 src/androidfns.c                          "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  1935 src/androidfns.c                          "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1937 src/androidfns.c                          "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  1939 src/androidfns.c                          "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1941 src/androidfns.c                          "cursorColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1943 src/androidfns.c                          "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  5519 src/frame.c    	    case RES_TYPE_STRING:
RES_TYPE_STRING   725 src/haikufns.c                                  RES_TYPE_STRING);
RES_TYPE_STRING   735 src/haikufns.c                               RES_TYPE_STRING);
RES_TYPE_STRING   774 src/haikufns.c                                           RES_TYPE_STRING));
RES_TYPE_STRING   809 src/haikufns.c                          "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING   838 src/haikufns.c                          "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING   840 src/haikufns.c                          "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING   842 src/haikufns.c                          "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING   891 src/haikufns.c 			 RES_TYPE_STRING);
RES_TYPE_STRING  1047 src/haikufns.c                               RES_TYPE_STRING);
RES_TYPE_STRING  1100 src/haikufns.c                          "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  1132 src/haikufns.c                          "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1135 src/haikufns.c                          "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  1140 src/haikufns.c                          "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1142 src/haikufns.c                          "cursorColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1144 src/haikufns.c                          "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  2997 src/haikuterm.c                                                 RES_TYPE_STRING);
RES_TYPE_STRING  3014 src/haikuterm.c 				   RES_TYPE_STRING));
RES_TYPE_STRING  3036 src/haikuterm.c                          RES_TYPE_STRING);
RES_TYPE_STRING  1070 src/pgtkfns.c  			 RES_TYPE_STRING);
RES_TYPE_STRING  1088 src/pgtkfns.c  			     RES_TYPE_STRING);
RES_TYPE_STRING  1120 src/pgtkfns.c  			 RES_TYPE_STRING);
RES_TYPE_STRING  1220 src/pgtkfns.c        gui_display_get_arg (dpyinfo, parms, Qdisplay, 0, 0, RES_TYPE_STRING);
RES_TYPE_STRING  1231 src/pgtkfns.c  			 RES_TYPE_STRING);
RES_TYPE_STRING  1315 src/pgtkfns.c  				       "Title", RES_TYPE_STRING));
RES_TYPE_STRING  1390 src/pgtkfns.c  			 "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  1449 src/pgtkfns.c  			 "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1451 src/pgtkfns.c  			 "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  1453 src/pgtkfns.c  			 "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  1455 src/pgtkfns.c  			 "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  1469 src/pgtkfns.c  			 RES_TYPE_STRING);
RES_TYPE_STRING  1472 src/pgtkfns.c  			 RES_TYPE_STRING);
RES_TYPE_STRING  1526 src/pgtkfns.c  			 "title", "Title", RES_TYPE_STRING);
RES_TYPE_STRING  2672 src/pgtkfns.c                                RES_TYPE_STRING);
RES_TYPE_STRING  2747 src/pgtkfns.c                           "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  2781 src/pgtkfns.c                           "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  2783 src/pgtkfns.c                           "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  2785 src/pgtkfns.c                           "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  2787 src/pgtkfns.c                           "cursorColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  2789 src/pgtkfns.c                           "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  5803 src/w32fns.c                                                   RES_TYPE_STRING);
RES_TYPE_STRING  5809 src/w32fns.c                              RES_TYPE_STRING);
RES_TYPE_STRING  5831 src/w32fns.c     gui_default_parameter (f, parms, Qfont, font, "font", "Font", RES_TYPE_STRING);
RES_TYPE_STRING  5866 src/w32fns.c                                      RES_TYPE_STRING);
RES_TYPE_STRING  5876 src/w32fns.c                                 RES_TYPE_STRING);
RES_TYPE_STRING  5961 src/w32fns.c                                             RES_TYPE_STRING));
RES_TYPE_STRING  6015 src/w32fns.c                            "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  6070 src/w32fns.c                            "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  6072 src/w32fns.c                            "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  6074 src/w32fns.c                            "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  6076 src/w32fns.c                            "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  6160 src/w32fns.c                            "title", "Title", RES_TYPE_STRING);
RES_TYPE_STRING  7037 src/w32fns.c                                 RES_TYPE_STRING);
RES_TYPE_STRING  7094 src/w32fns.c                            "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  7122 src/w32fns.c                            "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  7124 src/w32fns.c                            "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  7126 src/w32fns.c                            "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  7128 src/w32fns.c                            "cursorColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  7130 src/w32fns.c                            "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  2519 src/xfns.c                                  RES_TYPE_STRING);
RES_TYPE_STRING  4793 src/xfns.c                                                     RES_TYPE_STRING);
RES_TYPE_STRING  4813 src/xfns.c     				   RES_TYPE_STRING));
RES_TYPE_STRING  4847 src/xfns.c       gui_default_parameter (f, parms, Qfont, font, "font", "Font", RES_TYPE_STRING);
RES_TYPE_STRING  4921 src/xfns.c                                        RES_TYPE_STRING);
RES_TYPE_STRING  4931 src/xfns.c                                   RES_TYPE_STRING);
RES_TYPE_STRING  5029 src/xfns.c                                               RES_TYPE_STRING));
RES_TYPE_STRING  5119 src/xfns.c                              "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  5192 src/xfns.c                              "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  5194 src/xfns.c                              "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  5196 src/xfns.c                              "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  5198 src/xfns.c                              "borderColor", "BorderColor", RES_TYPE_STRING);
RES_TYPE_STRING  5264 src/xfns.c                              "title", "Title", RES_TYPE_STRING);
RES_TYPE_STRING  8387 src/xfns.c                                   RES_TYPE_STRING);
RES_TYPE_STRING  8493 src/xfns.c                              "fontBackend", "FontBackend", RES_TYPE_STRING);
RES_TYPE_STRING  8527 src/xfns.c                              "foreground", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  8529 src/xfns.c                              "background", "Background", RES_TYPE_STRING);
RES_TYPE_STRING  8531 src/xfns.c                              "pointerColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  8533 src/xfns.c                              "cursorColor", "Foreground", RES_TYPE_STRING);
RES_TYPE_STRING  8535 src/xfns.c                              "borderColor", "BorderColor", RES_TYPE_STRING);