📄 defplacemob.java
字号:
/** DefPlaceMob
* Finestra per definire e invocare la creazione di un PLACE "MOBILE"
* E' molto simile a "DefPlace"
* @author Luigi Antenucci
* @version 1.2
* @language jdk 1.2.2
*/
package SOMA.gui;
import SOMA.gui.lingua.Lingua;
import SOMA.Environment;
import SOMA.naming.PlaceID;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
public class DefPlaceMob extends Finestra {
/**
* Per memorizzare i parametri passati al costruttore,
* in modo che siano visibili anche agli altri metodi.
*/
protected Finestra finGenitore;
protected boolean advanced;
protected PlaceID dominioIniziale;
protected Anagrafe anagrafe;
/**
* Oggetti che mostrano frasi, coi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -