🚀 go-pugleaf

Hi,

Printed a JTextComponent problem with the scaling of fonts.
You can see this bug with the java source code enclosed.
Thanks for your help.

Best Regards-
Laurent

JAVA SOURCE CODE

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.text.*;

public class MyFrame extends JFrame implements ActionListener
{
    public JTextPane myTextPane;

    public MyFrame()
    {
        super("MyFrame");
        getContentPane().setLayout(new BorderLayout());

        myTextPane = new JTextPane();
        String myString = "Line with key
tab.........................................................................
................" + '\t' + "123";
        myString       += '\n';
        myString       += "Line without key
tab.........................................................................
.......... 123 ";
        myTextPane.setText(myString);
        myTextPane.selectAll();
        MutableAttributeSet myMutableAttributeSet = new
SimpleAttributeSet();
        StyleConstants.setFontFamily(myMutableAttributeSet, "dialog");
        myTextPane.setCharacterAttributes(myMutableAttributeSet, true);
        myTextPane.select(0,0);
        getContentPane().add(BorderLayout.CENTER, new
JScrollPane(myTextPane));

        JPanel myPanel = new JPanel(new FlowLayout());
        getContentPane().add(BorderLayout.SOUTH, myPanel);

        Button myPrintButton = new Button("PRINT");
        myPrintButton.addActionListener(this);
        myPrintButton.setActionCommand("PRINT");
        myPanel.add(myPrintButton);

        Button myRefreshButton = new Button("REFRESH & PRINT");
        myRefreshButton.addActionListener(this);
        myRefreshButton.setActionCommand("REFRESH");
        myPanel.add(myRefreshButton);

        setBounds(20, 20, 500, 300);
        setVisible(true);
    }

    public void actionPerformed(ActionEvent e)
    {
        if (e.getActionCommand().equals("PRINT")) {print();}
        else if (e.getActionCommand().equals("REFRESH")) {refresh();}
    }

    public void print()
    {
        PrintJob myPrintJob = getToolkit().getPrintJob(this, null, null);
        if (myPrintJob != null)
        {
            Graphics myGraphics = myPrintJob.getGraphics();
            myGraphics.translate(50, 50);
            myGraphics.setClip(myGraphics.getClip());
            myTextPane.print(myGraphics);
            myGraphics.dispose();
            myPrintJob.end();
        }
    }

    public void refresh()
    {
        for (int i=0; i<myTextPane.getText().length(); i++)


            System.out.println("refresh : " + i);
            myTextPane.select(i, i+1);
            AttributeSet myAttributeSet =
myTextPane.getCharacterAttributes();
            myTextPane.setCharacterAttributes(myAttributeSet, true);
        }
        myTextPane.select(0,0);
        print();
    }

    public static void main(String arg[])


        new MyFrame();
    }
}