def set_font_size(self, size):
if(self.font_size_pt==size):<EOL><INDENT>return<EOL><DEDENT>self.font_size_pt=size<EOL>self.font_size=size/self.k<EOL>if(self.page><NUM_LIT:0>):<EOL><INDENT>self._out(sprintf('<STR_LIT>',self.current_font['<STR_LIT:i>'],self.font_size_pt))<EOL><DEDENT>
Set font size in points