> Mmmhhh... that's strange. Are you sure you only edited the line
> starting with "location = self.text_buffer"?!
Sorry, my fault, I misunderstood the color code and deleted too much.
Now the change is applied correctly. Plugin loads, the toolbar appears
afer loading (or at startup if left loaded). This is my trace, I guess
only the last chance is relevant to gedit-latex.
[495][mq.asus: Varie]$ gedit reference-martino.tex &
[1] 68322
[495][mq.asus: Varie]$ Traceback (most recent call last):
File "/usr/lib/gedit/plugins/latex/latex/editor.py", line 252, in __parse
if BENCHMARK: t = time.clock()
AttributeError: module 'time' has no attribute 'clock'
[495][mq.asus: Varie]$ Traceback (most recent call last):
File "/usr/lib/gedit/plugins/latex/tabdecorator.py", line 98, in _on_save
self._editor.on_save()
File "/usr/lib/gedit/plugins/latex/latex/editor.py", line 211, in on_save
self.__parse()
File "/usr/lib/gedit/plugins/latex/latex/editor.py", line 252, in __parse
if BENCHMARK: t = time.clock()
AttributeError: module 'time' has no attribute 'clock'
Traceback (most recent call last):
File "/usr/lib/gedit/plugins/latex/tools/__init__.py", line 133, in
run_tool
self._runner.run(context.active_editor.file, self._tool, tool_view)
File "/usr/lib/gedit/plugins/latex/latex/editor.py", line 385, in file
if self._document_is_master:
AttributeError: 'LaTeXEditor' object has no attribute '_document_is_master'
