Se agregó el item Language Manager al panel de opciones generales.

Committers: Patricio Merino, Patricio Isbej
jedit_gui.props: Language Manager llama a su propia clase.

jedit_enprops: Agregados varios textos del panel Language Manager.

LanguageManagerPane.java: Creada la clase que genera la GUI de Language
Manager.
	- La único que funciona es seleccionar un archivo.
	- Se ha usado la tabla de Syntax Highlighting como stub.

Committers: Patricio Merino, Patricio Isbej
Language Manager:
	-Muestra la lista de lenguages actuales en la lista de lenguages.
Language manager:
	-Cambiado el tamaño del boton "Add language manually"
Merge con branch tsaezb

Daniel Rojas
Tomas Saez
Archivo .proyect eliminado del repositorio
borrando .proyect

añadido accidentalmente
Update .gitignore

Revirtiendo cambio innecesario
Language Manager:
	- Añadidos listeners para los botones de añadir lenguaje
LanguageManager:
	- Agregado método addLanguageFromFile a LanguageManagerPane
		- Copia el archivo con la sintaxis y actualiza el catálogo.
		- Falta que el lenguage agregado al catálogo se inserte en
		  orden alfabético.
		- Falta realizar checkeos sobre la existencia previa del
		  lenguaje.
		- Falta agregar las extensiones asociadas.
		- Falta actualizar los modos cargados dinámicamente.
		
Committers: Patricio Merino, Patricio Isbej
Merge branch 'Omni'