ninja-ide/ninja-ide — Issue #27: problems on save preferences
Author: leliel12
Created: 2011-11-02 00:21:45+00:00
State: open

1 - use my snippet plugin https://bitbucket.org/leliel12/ninja-ide_snippets_plugin
2 - add a new language
3 - add new snippet
4 - push save (all code is fro ninja itself)

File "/home/juan/proyectos/ninja-ide_git/ninja_ide/gui/dialogs/preferences.py", line 88, in _save
self._tabs.widget(i).save()
File "/home/juan/proyectos/ninja-ide_git/ninja_ide/gui/dialogs/preferences.py", line 566, in save
self._tabs.widget(i).save()
File "/home/juan/proyectos/ninja-ide_git/ninja_ide/gui/dialogs/preferences.py", line 657, in save
settings.FONT_SIZE)
File "/home/juan/proyectos/ninja-ide_git/ninja_ide/gui/main_panel/main_container.py", line 632, in apply_editor_theme
widget.restyle()
File "/home/juan/proyectos/ninja-ide_git/ninja_ide/gui/editor/editor.py", line 227, in restyle
self.highlighter.apply_highlight(
AttributeError: 'NoneType' object has no attribute 'apply_highlight'