Files
wiki-data/tecnica/milenium/diccionarios.md

939 B
Raw Permalink Blame History

CONVERTIR DICCIONARIO PERSONAL EN GLOBAL

1) Desde el Editor, ir a Configuración > Administración de diccionarios
diccionarios.png
2) Seleccionar el diccionario personal que se quiere convertir en Global
3) Exportar
4) Importar, cambiarle el nombre a Global y en comentarios aclarar a partir del diccionario de qué usuario se generó
5) Seleccionar como predeterminado

Nota: Si ya existe uno Global, hay 2 posibilidades:

  1. Si lo generó la misma persona que el que queremos convertir ahora, lo eliminamos primero y luego importamos el nuevo
  2. Si lo generó otra persona, primero debemos exportarlo, editarlo con un editor de texto, agregarle el contenido del diccionario personal que exportamos primero y luego importar el archivo compuesto. No olvidar indicar en comentarios desde qué diccionarios personales se generó.