panfontdim.java

来自「一个agent 工具包,可以开发移动设备应用,考虑了安全措施」· Java 代码 · 共 21 行

/**  PanFontDim
 *     Pannello per modificare la dimensione del font usato per visualizzare una text-area.
 *     @author     Luigi Antenucci
 *     @version    1.5
 *     @language   jdk 1.2.2
 */

package SOMA.gui;

import SOMA.gui.lingua.Lingua;

import java.awt.*;
import javax.swing.*;
import javax.swing.event.*;


public class PanFontDim extends Pannello {

  // Variabili PROTETTE:
      /**
       *  Oggetti che mostrano frasi, coi