📄 formscrollpane.java
字号:
package webide.form;
import java.awt.*;
import webide.MainConsole;
public class FormScrollPane extends ScrollPane {
public FormScrollPane(MainConsole mainConsole) {
formContainer = new FormContainer(mainConsole);
add(formContainer);
}//end of FormScrollPane.
public Dimension getPreferredSize() {
return getMinimumSize();
}//end of getPreferredSize.
public Dimension getMinimumSize() {
return new Dimension(200,300);
}//end of getMinimumSize.
private class FormContainer extends Container {
public FormContainer(MainConsole mainConsole) {
super();
setLayout(new BorderLayout());
FormPanel formPanel = new FormPanel(mainConsole);
pf = formPanel.pForm;
add("Center",formPanel);
}
public Dimension getPreferredSize() {
return getMinimumSize();
}
public Dimension getMinimumSize() {
return this.getToolkit().getScreenSize();
}
}//end of FormContainer.
public static Container formContainer = null;
public PainterForm pf;
}//end of ScrollPaneTest
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -