Searched refs:user_paper_width (Results 1 – 3 of 3) sorted by relevance
37 static double user_paper_width = 0; variable518 double width = user_paper_width ? user_paper_width : in begin_page()939 &user_paper_length, &user_paper_width)) in main()
58 static double user_paper_width = 0; variable1271 return int(user_paper_width ? user_paper_width*72.0 + 0.5 in media_width()1833 &user_paper_length, &user_paper_width)) in main()
3936 (landscape_flag, user_paper_length, user_paper_width): New global3985 * src/devices/grops/ps.cc (user_paper_width): New global variable.3986 (main) <'p'>: Set `user_paper_width' also.