Efeito de rolagem e escalonamento de texto na barra de rolagem do jtextArea do swing

Este artigo compartilha o código específico de rolagem da barra de rolagem do JTextArea e ajuste de zoom do Swing, para referência, os detalhes são os seguintes

Quando adiciona-se um evento de rolagem ao JTextArea com barra de rolagem, por exemplo, zoom com Ctrl+Quando o evento de rolagem coincidir com o evento de ajuste de zoom, como fazer com que os dois eventos ocorram ao mesmo tempo sem se interferirem? Isso é, quando a barra de rolagem aumenta ou diminui, o texto não deve rolar para cima ou para baixo.

import javax.swing;*; 
import java.awt;*; 
import java.awt.event.MouseAdapter; 
import java.awt.event.MouseWheelEvent; 
import java.awt.event.MouseWheelListener; 
public class jtaWheel { 
  JFrame jf; 
  JTextArea jta; 
  JScrollPane jsp; 
  MouseWheelListener sysWheel; 
  public jtaWheel(){ 
    jf = new JFrame("Ajuste de rolagem e zoom"); 
    jf.setBounds(500,500,600,400); 
    jta = new JTextArea(); 
    jsp = new JScrollPane(jta,JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, 
        JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED); 
    sysWheel = jsp.getMouseWheelListeners()[0];//Obter o evento de rolagem do sistema 
    jsp.removeMouseWheelListener(sysWheel);//Remover a rolagem do sistema, adicionar quando necessário 
    jsp.addMouseWheelListener(new event()); 
    jf.add(jsp); 
    jf.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); 
    jf.setVisible(true); 
  } 
  private class event extends MouseAdapter{ 
    @Override 
    public void mouseWheelMoved(MouseWheelEvent e){ 
      if(e.isControlDown()){//Quando a tecla ctrl estiver pressionada, a rolagem é ampliar ou diminuir 
        Font f = jta.getFont(); 
        if(e.getWheelRotation()<0){//Se a barra de rolagem for puxada para frente, o texto é ampliado 
          jta.setFont(new Font(f.getFamily(),f.getStyle(),f.getSize()+1)); 
        }//O texto diminui quando a barra de rolagem é puxada para trás 
          jta.setFont(new Font(f.getFamily(),f.getStyle(),f.getSize()-1)); 
        } 
      }//Se o ctrl não estiver pressionado, é uma rolagem do sistema 
        jsp.addMouseWheelListener(sysWheel); 
        sysWheel.mouseWheelMoved(e);//Disparar evento de rolagem do sistema. 
        jsp.removeMouseWheelListener(sysWheel); 
      } 
    } 
  } 
  public static void main(String[] args){ 
    new jtaWheel(); 
  } 
} 

Isso é tudo o que há no artigo. Espero que ajude no seu aprendizado e que você apoie o tutorial Yell.

Declaração: O conteúdo deste artigo é extraído da Internet, pertence ao respectivo proprietário, foi contribuído e carregado voluntariamente pelos usuários da Internet. Este site não possui direitos de propriedade, não foi editado manualmente e não assume responsabilidade por eventuais responsabilidades legais. Se encontrar conteúdo suspeito de violação de direitos autorais, por favor, envie um e-mail para: notice#w3Aviso: Quando enviar um e-mail, substitua # por @ para denunciar e forneça provas relevantes. Caso seja confirmado, o conteúdo suspeito de violação de direitos autorais será imediatamente removido do site.