📄 texts.java~61~
字号:
package english;
import java.awt.*;
import javax.swing.*;
import java.awt.BorderLayout;
import java.awt.Dimension;
import javax.swing.event.AncestorEvent;
import javax.swing.event.AncestorListener;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
public class Texts extends JPanel {
BorderLayout borderLayout1 = new BorderLayout();
JPanel jPanel1 = new JPanel();
JPanel jPanel2 = new JPanel();
JScrollPane jScrollPane1 = new JScrollPane();
JTextPane jTextPane1 = new JTextPane();
JPanel jPanel3 = new JPanel();
JScrollPane jScrollPane2 = new JScrollPane();
JEditorPane jEditorPane1 = new JEditorPane();
JPanel jPanel4 = new JPanel();
FlowLayout flowLayout1 = new FlowLayout();
BorderLayout borderLayout2 = new BorderLayout();
Control jPanel5 = new Control();
JPanel jPanel6 = new JPanel();
JButton jButton1 = new JButton();
JButton jButton2 = new JButton();
public Texts() {
try {
jbInit();
} catch (Exception exception) {
exception.printStackTrace();
}
}
private void jbInit() throws Exception {
this.setLayout(borderLayout1);
this.setMinimumSize(new Dimension(400, 300));
this.setPreferredSize(new Dimension(410, 290));
this.addAncestorListener(new Texts_this_ancestorAdapter(this));
jPanel1.setLayout(flowLayout1);
jTextPane1.setPreferredSize(new Dimension(340, 230));
jTextPane1.setEditable(false);
jTextPane1.setText("jTextPane1");
jTextPane1.addAncestorListener(new Texts_jTextPane1_ancestorAdapter(this));
jEditorPane1.setMinimumSize(new Dimension(300, 100));
jEditorPane1.setText("jEditorPane1");
jEditorPane1.addAncestorListener(new Texts_jEditorPane1_ancestorAdapter(this));
jPanel4.setLayout(borderLayout2);
jPanel1.setPreferredSize(new Dimension(300, 290));
jPanel1.addAncestorListener(new Texts_jPanel1_ancestorAdapter(this));
jPanel2.setPreferredSize(new Dimension(300, 230));
jPanel2.addAncestorListener(new Texts_jPanel2_ancestorAdapter(this));
jPanel3.setPreferredSize(new Dimension(300, 70));
jPanel3.addAncestorListener(new Texts_jPanel3_ancestorAdapter(this));
jPanel4.setPreferredSize(new Dimension(90, 290));
jPanel4.addAncestorListener(new Texts_jPanel4_ancestorAdapter(this));
jScrollPane1.setPreferredSize(new Dimension(300, 230));
jScrollPane1.addAncestorListener(new Texts_jScrollPane1_ancestorAdapter(this));
jScrollPane2.setPreferredSize(new Dimension(300, 70));
jScrollPane2.addAncestorListener(new Texts_jScrollPane2_ancestorAdapter(this));
jPanel5.setPreferredSize(new Dimension(90, 230));
jPanel5.addAncestorListener(new Texts_jPanel5_ancestorAdapter(this));
jPanel6.setPreferredSize(new Dimension(90, 70));
jPanel6.addAncestorListener(new Texts_jPanel6_ancestorAdapter(this));
jButton1.setText("rewrite");
jButton1.addActionListener(new Texts_jButton1_actionAdapter(this));
jButton2.setText("save");
jButton2.addActionListener(new Texts_jButton2_actionAdapter(this));
this.add(jPanel1, java.awt.BorderLayout.CENTER);
this.add(jPanel4, java.awt.BorderLayout.EAST);
jPanel4.add(jPanel5, java.awt.BorderLayout.NORTH);
jPanel4.add(jPanel6, java.awt.BorderLayout.SOUTH);
jPanel6.add(jButton2);
jPanel6.add(jButton1);
jPanel3.add(jScrollPane2);
jScrollPane2.getViewport().add(jEditorPane1);
jPanel1.add(jPanel2, null);
jPanel2.add(jScrollPane1);
jScrollPane1.getViewport().add(jTextPane1);
jPanel1.add(jPanel3, null);
}
public void this_ancestorAdded(AncestorEvent event) {
}
public void jPanel1_ancestorAdded(AncestorEvent event) {
}
public void jPanel2_ancestorAdded(AncestorEvent event) {
}
public void jScrollPane1_ancestorAdded(AncestorEvent event) {
}
public void jTextPane1_ancestorAdded(AncestorEvent event) {
}
public void jPanel3_ancestorAdded(AncestorEvent event) {
}
public void jScrollPane2_ancestorAdded(AncestorEvent event) {
}
public void jEditorPane1_ancestorAdded(AncestorEvent event) {
}
public void jPanel4_ancestorAdded(AncestorEvent event) {
}
public void jPanel5_ancestorAdded(AncestorEvent event) {
}
public void jPanel6_ancestorAdded(AncestorEvent event) {
}
public void jButton2_actionPerformed(ActionEvent e) {
}
public void jButton1_actionPerformed(ActionEvent e) {
}
}
class Texts_jButton1_actionAdapter implements ActionListener {
private Texts adaptee;
Texts_jButton1_actionAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void actionPerformed(ActionEvent e) {
adaptee.jButton1_actionPerformed(e);
}
}
class Texts_jButton2_actionAdapter implements ActionListener {
private Texts adaptee;
Texts_jButton2_actionAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void actionPerformed(ActionEvent e) {
adaptee.jButton2_actionPerformed(e);
}
}
class Texts_jPanel6_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jPanel6_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jPanel6_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jPanel5_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jPanel5_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jPanel5_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jPanel4_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jPanel4_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jPanel4_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jEditorPane1_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jEditorPane1_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jEditorPane1_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jScrollPane2_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jScrollPane2_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jScrollPane2_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jTextPane1_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jTextPane1_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jTextPane1_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jScrollPane1_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jScrollPane1_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jScrollPane1_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jPanel3_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jPanel3_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jPanel3_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jPanel1_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jPanel1_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jPanel1_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_this_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_this_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.this_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
class Texts_jPanel2_ancestorAdapter implements AncestorListener {
private Texts adaptee;
Texts_jPanel2_ancestorAdapter(Texts adaptee) {
this.adaptee = adaptee;
}
public void ancestorAdded(AncestorEvent event) {
adaptee.jPanel2_ancestorAdded(event);
}
public void ancestorRemoved(AncestorEvent event) {
}
public void ancestorMoved(AncestorEvent event) {
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -