private void redrawRect(int level) {
// redraw the canvas if display level is changed.
t.displaylevel = level;
framedArea.area.repaint();
label.setText("Current display level: " + t.displaylevel);
}
private void redrawRect(int level) {
// redraw the canvas if display level is changed.
t.displaylevel = level;
framedArea.area.repaint();
label.setText("Current display level: " + t.displaylevel);
}