view .dir-locals.el @ 28189:5624fd0c5efb stable

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.
author Pantxo Diribarne <pantxo.diribarne@gmail.com>
date Thu, 12 Mar 2020 20:45:47 +0100
parents df203b20cfc6
children
line wrap: on
line source

((nil .
      ((c-file-style . "gnu")
       (indent-tabs-mode . nil)
       (fill-column . 72)))
 (change-log-mode . ((indent-tabs-mode . t)))
 (makefile-mode . ((indent-tabs-mode . t))))