RES_TYPE_NUMBER   449 src/androidfns.c 					 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   451 src/androidfns.c 					 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   473 src/androidfns.c 				    RES_TYPE_NUMBER);
RES_TYPE_NUMBER   476 src/androidfns.c 				    RES_TYPE_NUMBER);
RES_TYPE_NUMBER   703 src/androidfns.c                                  RES_TYPE_NUMBER);
RES_TYPE_NUMBER   727 src/androidfns.c                                 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   887 src/androidfns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER   896 src/androidfns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   905 src/androidfns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER   913 src/androidfns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   915 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   917 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   941 src/androidfns.c                          "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   943 src/androidfns.c                          "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   945 src/androidfns.c                          "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   966 src/androidfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER   970 src/androidfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER   986 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   990 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   994 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1041 src/androidfns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1044 src/androidfns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1046 src/androidfns.c                          "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1048 src/androidfns.c                          "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1085 src/androidfns.c     = gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1087 src/androidfns.c     = gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1908 src/androidfns.c                          "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1919 src/androidfns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1927 src/androidfns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1929 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1931 src/androidfns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1987 src/androidfns.c                          "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1989 src/androidfns.c                          "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5495 src/frame.c    	    case RES_TYPE_NUMBER:
RES_TYPE_NUMBER  5866 src/frame.c      height = gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5867 src/frame.c      width = gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5943 src/frame.c                                           RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5953 src/frame.c      top = gui_display_get_arg (dpyinfo, parms, Qtop, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5954 src/frame.c      left = gui_display_get_arg (dpyinfo, parms, Qleft, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5956 src/frame.c                                           RES_TYPE_NUMBER);
RES_TYPE_NUMBER   101 src/haikufns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER   820 src/haikufns.c                          "borderwidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   823 src/haikufns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER   826 src/haikufns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   828 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   830 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   844 src/haikufns.c                          "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   846 src/haikufns.c                          "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   848 src/haikufns.c                          "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   856 src/haikufns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER   860 src/haikufns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER   879 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   883 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   887 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   948 src/haikufns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   951 src/haikufns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   953 src/haikufns.c 			 "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   955 src/haikufns.c                          "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1115 src/haikufns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1123 src/haikufns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1126 src/haikufns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1128 src/haikufns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1180 src/haikufns.c                          "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1182 src/haikufns.c                          "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1217 src/pgtkfns.c      gui_display_get_arg (dpyinfo, parms, Qterminal, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1241 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1402 src/pgtkfns.c  			 "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1410 src/pgtkfns.c  				   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1418 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1427 src/pgtkfns.c                                     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1436 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1438 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1440 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1459 src/pgtkfns.c  			 "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1461 src/pgtkfns.c  			 "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1463 src/pgtkfns.c  			 "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1493 src/pgtkfns.c  			     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1497 src/pgtkfns.c  			     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1512 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1516 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1520 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1593 src/pgtkfns.c  			 "scrollBarWidth", "ScrollBarWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1596 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1598 src/pgtkfns.c  			 "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1600 src/pgtkfns.c                           "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1681 src/pgtkfns.c  	= gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1683 src/pgtkfns.c  	= gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2754 src/pgtkfns.c                           "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2765 src/pgtkfns.c                                     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2773 src/pgtkfns.c                           RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2775 src/pgtkfns.c                           NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2777 src/pgtkfns.c                           NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2824 src/pgtkfns.c                           "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2826 src/pgtkfns.c                           "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5582 src/w32fns.c   				  RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5584 src/w32fns.c   				 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5702 src/w32fns.c                                   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5704 src/w32fns.c                                   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5863 src/w32fns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5887 src/w32fns.c                                   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6023 src/w32fns.c                            "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6033 src/w32fns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6041 src/w32fns.c   			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6050 src/w32fns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6058 src/w32fns.c   			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6060 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6062 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6080 src/w32fns.c                            "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6082 src/w32fns.c                            "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6084 src/w32fns.c                            "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6092 src/w32fns.c                            "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6099 src/w32fns.c   			 "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6118 src/w32fns.c                                RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6122 src/w32fns.c                                RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6137 src/w32fns.c                                NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6146 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6151 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6209 src/w32fns.c                            "scrollBarWidth", "ScrollBarWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6211 src/w32fns.c                            "scrollBarHeight", "ScrollBarHeight", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6235 src/w32fns.c                            "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6265 src/w32fns.c                              "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7101 src/w32fns.c                            "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7111 src/w32fns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7119 src/w32fns.c                            RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7167 src/w32fns.c                            "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7169 src/w32fns.c                            "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4583 src/xfns.c       icon_x = gui_frame_get_and_record_arg (f, parms, Qicon_left, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4584 src/xfns.c       icon_y = gui_frame_get_and_record_arg (f, parms, Qicon_top, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4604 src/xfns.c         = gui_frame_get_and_record_arg (f, parms, Qicon_left, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4606 src/xfns.c         = gui_frame_get_and_record_arg (f, parms, Qicon_top, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4918 src/xfns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4942 src/xfns.c                                     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5133 src/xfns.c                                "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5144 src/xfns.c                                        RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5157 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5166 src/xfns.c                                        RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5174 src/xfns.c     			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5176 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5178 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5202 src/xfns.c                              "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5204 src/xfns.c                              "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5206 src/xfns.c                              "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5230 src/xfns.c                                  RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5234 src/xfns.c                                  RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5250 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5254 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5258 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5326 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5329 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5331 src/xfns.c                              "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5333 src/xfns.c                              "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5418 src/xfns.c     	= gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5420 src/xfns.c     	= gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8500 src/xfns.c                              "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8511 src/xfns.c                                        RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8519 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8521 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8523 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8652 src/xfns.c                              "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8654 src/xfns.c                              "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);