📄 toolboxscrollpane.java
字号:
package webide.views.toolbox;
import java.awt.Dimension;
import java.awt.Container;
import java.awt.ScrollPane;
import java.awt.BorderLayout;
import webide.MainConsole;
public class ToolBoxScrollPane extends ScrollPane {
public ToolBoxScrollPane(MainConsole applet) {
toolboxContainer = new ToolBoxContainer(applet);
add(toolboxContainer);
}
public Dimension getPreferredSize() {
return getMinimumSize();
}
public Dimension getMinimumSize() {
return new Dimension(120,100);
}
private class ToolBoxContainer extends Container {
public ToolBoxContainer(MainConsole applet) {
super();
setLayout(new BorderLayout());
toolbox = new ToolBox(applet);
add("Center",toolbox);
}
public Dimension getPreferredSize() {
return new Dimension(120,100);
}
public Dimension getMinimumSize() {
return new Dimension(120,100);
}
}
public static Container toolboxContainer = null;
public static ToolBox toolbox;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -