RES_TYPE_NUMBER  5411 src/frame.c    	    case RES_TYPE_NUMBER:
RES_TYPE_NUMBER  5780 src/frame.c      height = gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5781 src/frame.c      width = gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5857 src/frame.c                                           RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5867 src/frame.c      top = gui_display_get_arg (dpyinfo, parms, Qtop, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5868 src/frame.c      left = gui_display_get_arg (dpyinfo, parms, Qleft, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5870 src/frame.c                                           RES_TYPE_NUMBER);
RES_TYPE_NUMBER   101 src/haikufns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER   793 src/haikufns.c                          "borderwidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   796 src/haikufns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER   799 src/haikufns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   801 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   803 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   817 src/haikufns.c                          "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   819 src/haikufns.c                          "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   821 src/haikufns.c                          "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   829 src/haikufns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER   833 src/haikufns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER   852 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   856 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   860 src/haikufns.c 			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER   921 src/haikufns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   924 src/haikufns.c 			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER   926 src/haikufns.c 			 "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER   928 src/haikufns.c                          "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1088 src/haikufns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1096 src/haikufns.c                          RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1099 src/haikufns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1101 src/haikufns.c                          NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1153 src/haikufns.c                          "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1155 src/haikufns.c                          "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1224 src/pgtkfns.c      gui_display_get_arg (dpyinfo, parms, Qterminal, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1248 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1409 src/pgtkfns.c  			 "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1417 src/pgtkfns.c  				   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1425 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1434 src/pgtkfns.c                                     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1443 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1445 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1447 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1466 src/pgtkfns.c  			 "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1468 src/pgtkfns.c  			 "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1470 src/pgtkfns.c  			 "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1500 src/pgtkfns.c  			     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1504 src/pgtkfns.c  			     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1519 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1523 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1527 src/pgtkfns.c  			 NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1600 src/pgtkfns.c  			 "scrollBarWidth", "ScrollBarWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1603 src/pgtkfns.c  			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1605 src/pgtkfns.c  			 "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1607 src/pgtkfns.c                           "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1688 src/pgtkfns.c  	= gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  1690 src/pgtkfns.c  	= gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2761 src/pgtkfns.c                           "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2772 src/pgtkfns.c                                     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2780 src/pgtkfns.c                           RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2782 src/pgtkfns.c                           NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2784 src/pgtkfns.c                           NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2831 src/pgtkfns.c                           "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  2833 src/pgtkfns.c                           "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5549 src/w32fns.c   				  RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5551 src/w32fns.c   				 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5669 src/w32fns.c                                   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5671 src/w32fns.c                                   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5830 src/w32fns.c                                    RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5854 src/w32fns.c                                   RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5990 src/w32fns.c                            "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6000 src/w32fns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6008 src/w32fns.c   			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6017 src/w32fns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6025 src/w32fns.c   			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6027 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6029 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6047 src/w32fns.c                            "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6049 src/w32fns.c                            "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6051 src/w32fns.c                            "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6059 src/w32fns.c                            "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6066 src/w32fns.c   			 "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6085 src/w32fns.c                                RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6089 src/w32fns.c                                RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6104 src/w32fns.c                                NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6113 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6118 src/w32fns.c                            NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6176 src/w32fns.c                            "scrollBarWidth", "ScrollBarWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6178 src/w32fns.c                            "scrollBarHeight", "ScrollBarHeight", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6202 src/w32fns.c                            "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  6232 src/w32fns.c                              "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7068 src/w32fns.c                            "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7078 src/w32fns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7086 src/w32fns.c                            RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7134 src/w32fns.c                            "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  7136 src/w32fns.c                            "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4300 src/xfns.c       icon_x = gui_frame_get_and_record_arg (f, parms, Qicon_left, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4301 src/xfns.c       icon_y = gui_frame_get_and_record_arg (f, parms, Qicon_top, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4321 src/xfns.c         = gui_frame_get_and_record_arg (f, parms, Qicon_left, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4323 src/xfns.c         = gui_frame_get_and_record_arg (f, parms, Qicon_top, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4635 src/xfns.c                                      RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4659 src/xfns.c                                     RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4849 src/xfns.c                                "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4860 src/xfns.c                                        RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4873 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4882 src/xfns.c                                        RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4890 src/xfns.c     			 RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4892 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4894 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4918 src/xfns.c                              "lineSpacing", "LineSpacing", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4920 src/xfns.c                              "leftFringe", "LeftFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4922 src/xfns.c                              "rightFringe", "RightFringe", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4946 src/xfns.c                                  RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4950 src/xfns.c                                  RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4966 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4970 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  4974 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5042 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5045 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5047 src/xfns.c                              "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5049 src/xfns.c                              "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5134 src/xfns.c     	= gui_display_get_arg (dpyinfo, parms, Qheight, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  5136 src/xfns.c     	= gui_display_get_arg (dpyinfo, parms, Qwidth, 0, 0, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8219 src/xfns.c                              "borderWidth", "BorderWidth", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8230 src/xfns.c                                        RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8238 src/xfns.c                              RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8240 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8242 src/xfns.c                              NULL, NULL, RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8371 src/xfns.c                              "alpha", "Alpha", RES_TYPE_NUMBER);
RES_TYPE_NUMBER  8373 src/xfns.c                              "alphaBackground", "AlphaBackground", RES_TYPE_NUMBER);