panfontdim.java

一个agent 工具包,可以开发移动设备应用,考虑了安全措施

/**  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