Searched refs:warn_scale (Results 1 – 2 of 2) sorted by relevance
123 double warn_scale; variable6287 warn_scale = 1.0; in warnscale_request()6289 warn_scale = (double)units_per_inch; in warnscale_request()6291 warn_scale = (double)units_per_inch / 2.54; in warnscale_request()6293 warn_scale = (double)units_per_inch / 72.0; in warnscale_request()6295 warn_scale = (double)units_per_inch / 6.0; in warnscale_request()7417 warn_scale = (double)units_per_inch; in main()8003 double fromtop = topdiv->get_vertical_position().to_units() / warn_scale; in do_error()8008 / warn_scale; in do_error()
1223 * src/roff/troff/input.cc (spread_limit, warn_scale,1226 (main): Initialize `warn_scale' and `warn_scaling_indicator'.