diff options
| author | Cristian Garcia <cristian99garcia@gmail.com> | 2013-07-27 11:07:27 (GMT) |
|---|---|---|
| committer | Cristian Garcia <cristian99garcia@gmail.com> | 2013-07-27 11:07:27 (GMT) |
| commit | a8bfd063ebd8a92d1cd1237e4901699d3acdb754 (patch) | |
| tree | f1b58f0a793ec920d33ff34c6947f7b077bb9c05 | |
| parent | a261ca937ccf7b2de26904d70e910db2b7813f47 (diff) | |
Arreglando un problema que habia al abrir un archivo de sh
| -rw-r--r-- | CristianEdit/objetos.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CristianEdit/objetos.py b/CristianEdit/objetos.py index 59b6e10..1ca840e 100644 --- a/CristianEdit/objetos.py +++ b/CristianEdit/objetos.py @@ -222,6 +222,9 @@ class Buffer(GtkSource.Buffer): if 'text/' in tipo: tipo = tipo.replace('text/', '') + + if tipo == 'shellscript': + tipo = 'sh' lenguaje = self.lenguaje_manager.get_language(tipo) |