📄 inputtextarea.java
字号:
import java.awt.Font;
import java.awt.event.*;
import javax.swing.*;
public class InputTextArea extends JTextArea{
private String selecttext;
private Handle handle;
private Font font;
public InputTextArea(final Handle handle){
this.handle = handle;
handle.setInputtext(this);
font = getFont();
setTextWrapFalse();
addMouseListener(new MouseAdapter()
{
public void mouseReleased(MouseEvent e) {
selecttext = getSelectedText();
try{
if(selecttext.equals("")){}
else{
handle.getMenubar().setMenuEnabledTrue();
}
}
catch(NullPointerException ex){
handle.getMenubar().setMenuEnabledFalse();
}
}
});
addKeyListener(new KeyAdapter(){
public void keyReleased(KeyEvent e) {
handle.getLbl().setText(" Ln: " + getLineCount());
if(getText().equals("")){
handle.getMenubar().setFoundEnabledFalse();
}
else{
handle.getMenubar().setFoundEnabledTrue();
handle.getMenubar().setMenuRepealTrue();
}
}
});
}
public void setTextWrapTrue(){
setLineWrap(true);
setWrapStyleWord(true);
}
public void setTextWrapFalse(){
setLineWrap(false);
setWrapStyleWord(false);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -