Fix inconsistent marker size between screen and printout (bug #57552) * gl2ps-print.cc (gl2ps_renderer::init_marker): undo changes from cset 46fe22bf1458. * gl-render.h, gl-render.cc (m_printing): New bool data member. (opengl_renderer::draw_figure): Initialize m_printing with the depending on "__printing__" property. (opengl_renderer::points_to_pixels): New method to convert points data to pixels. Returns the original value when renderering for printing purpose. (opengl_renderer::set_linewidth, opengl_renderer::set_linewidth, opengl_renderer::make_marker_list): Use points_to_pixels. * print.m: Comment out line which prevents redrawing plot after printing. The markersize may have been changed for printing and this requires a redraw.

root = true

[*]
charset = utf-8
end_of_line = lf
indent_size = 2
indent_style = space
insert_final_newline = true

[*.{am,mk}]
indent_size = tab
indent_style = tab