📄 selector.java
字号:
package mypackage;
import java.awt.*;
import java.awt.Color;
import java.awt.Font;
class selector {
int level;
puzzle puz;
int width=100,height=30;
Integer x_pos;
Integer y_pos;
public selector(int lev, puzzle obj, int x, int y) {
level=lev;
puz=obj;
x_pos=new Integer(x);
y_pos=new Integer(y);
}
public int level() {
return level;
}
public void change() {
level++;
if(level>2)level=0;
}
public boolean inside(int x, int y) {
return (((x>=x_pos.intValue())&&(y>=x_pos.intValue())&&(x<=x_pos.intValue()+width)&&(y<=x_pos.intValue()+height)));
}
public void paint() {
String Level;
Graphics gc=puz.myG;
//System.out.println("In level painter\n");
gc.setColor(Color.black);
gc.fillRect(x_pos.intValue(), y_pos.intValue(), width, height);
gc.setColor(Color.yellow);
gc.setFont(new Font("Times",Font.BOLD,16));
Level="View1";
if(level==1)
Level="View2";
else if(level==2)
Level="View3";
gc.drawString(Level.toString(), x_pos.intValue()+(width-gc.getFontMetrics().stringWidth(Level.toString()))/2,y_pos.intValue()+height/2);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -