|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use FileEvent.Type | |
---|---|
argutia.events | Événements propres à l'application. |
argutia.gui |
Uses of FileEvent.Type in argutia.events |
---|
Fields in argutia.events declared as FileEvent.Type | |
---|---|
private FileEvent.Type |
FileEvent.type
Type de l'événement. |
Methods in argutia.events that return FileEvent.Type | |
---|---|
FileEvent.Type |
FileEvent.getType()
Retourne le type de l'événement. |
static FileEvent.Type |
FileEvent.Type.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static FileEvent.Type[] |
FileEvent.Type.values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Constructors in argutia.events with parameters of type FileEvent.Type | |
---|---|
FileEvent(Object source,
FileEvent.Type type,
File file)
Construit un événement portant sur le fichier spécifié. |
Uses of FileEvent.Type in argutia.gui |
---|
Fields in argutia.gui declared as FileEvent.Type | |
---|---|
private FileEvent.Type |
Onglets.lastFileEventType
|
private FileEvent.Type |
Menu.lastFileEventType
|
Methods in argutia.gui with parameters of type FileEvent.Type | |
---|---|
protected void |
Menu.fireFileEvent(FileEvent.Type type)
|
protected void |
DocumentColore.fireFileEvent(FileEvent.Type type)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||