Uses of Class
proyecto.herramientas.PreferenciasUsuario

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.