Searched refs:user_paper_width (Results 1 – 3 of 3) sorted by relevance
35 static double user_paper_width = 0; variable516 double width = user_paper_width ? user_paper_width : in begin_page()937 &user_paper_length, &user_paper_width)) in main()
56 static double user_paper_width = 0; variable1270 return int(user_paper_width ? user_paper_width*72.0 + 0.5 in media_width()1832 &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.