304305306307308309310311312313314
Font f=c.getSelectedFont(); // System.out.println(Integer.toString(c1)+" "+f); cv.font=f; cv.disp=c1; cvc.forceRedrawAll(); cvc.repaint(); cvc9.forceRedrawAll(); cvc9.repaint(); refreshCode(cv); } } }); bottom2.add(fc);
320321322323324325326327328329330
Color c1=JColorChooser.showDialog(null, "Choose Color", cv.col); if(c1!=null) cv.col=c1; cvc.forceRedrawAll(); cvc.repaint(); cvc9.forceRedrawAll(); cvc9.repaint(); refreshCode(cv); } }); bottom2.add(colorC);