📄 fingoto1000.java
字号:
/** FinGoto1000
* Una finestrella tramite cui inserire il place a cui far migrare un agente.
* I dati sono presi, eventualmente, dal DNS e PNS del place locale.
* @author Luigi Antenucci
* @version 1.0
* @language jdk 1.2.2
*/
package SOMA.gui;
import SOMA.gui.lingua.Lingua;
import SOMA.naming.PlaceID;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
public class FinGoto1000 extends Finestra {
// Variabili d'istanza:
/**
* Riferimenti dati tramite il costruttore.
*/
protected FinGoto1000Listener mioGotoListener;
protected ActionPlace actionPlace;
/**
* Oggetti che mostrano frasi, coi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -