|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PreferenciasUsuario | |
---|---|
proyecto.editor |
Uses of PreferenciasUsuario in proyecto.editor |
---|
Methods in proyecto.editor that return PreferenciasUsuario | |
---|---|
PreferenciasUsuario |
Editor.getPreferenciasUsuario()
Obtener las preferencias usuario. |
Methods in proyecto.editor with parameters of type PreferenciasUsuario | |
---|---|
void |
Editor.setPreferenciasUsuario(PreferenciasUsuario prefUsuario)
Modificar la propiedad preferencias usuario. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |