📄 pancheplace.java
字号:
/** PanChePlace
* Pannello per mostrare l'identificatore del place corrente (senza permettere un cambiamento).
* @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 javax.swing.*;
public class PanChePlace extends Pannello {
// Variabili PROTETTE:
/**
* Oggetti che mostrano frasi, coi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -