ninja-ide/ninja-ide — Issue #311: Problem with the minimap highlighting
Author: diegosarmentero
Created: 2012-03-05 11:24:42+00:00
State: open

File "/media/gato/ninja/ninja-ide/ninja_ide/gui/editor/editor.py", line 230, in show_pep8_errors
self._sync_tab_icon_notification_signal()
File "/media/gato/ninja/ninja-ide/ninja_ide/gui/editor/editor.py", line 250, in _sync_tab_icon_notification_signal
self.highlighter.rehighlight()
AttributeError: 'NoneType' object has no attribute 'rehighlight'
Traceback (most recent call last):
File "/media/gato/ninja/ninja-ide/ninja_ide/gui/main_panel/main_container.py", line 654, in _specify_syntax
widget.restyle(syntaxLang)
File "/media/gato/ninja/ninja-ide/ninja_ide/gui/editor/editor.py", line 282, in restyle
self._mini.highlighter.apply_highlight(
AttributeError: 'NoneType' object has no attribute 'apply_highlight'