Dear Pietro,
I can confirm it works. Many thanks for your help!
Il giorno dom, 12/04/2020 alle 18.12 +0200, Maurizio Quadrio ha
scritto:
> > [...]
> if BENCHMARK: t = time.clock()
> AttributeError: module 'time' has no attribute 'clock'
This (and the other AttributeError that followed) should be fixed by
Thanks Maurizio!
Il giorno dom, 12/04/2020 alle 18.12 +0200, Maurizio Quadrio ha
scritto:
> > Mmmhhh... that's strange. Are you sure you only edited the line
> > starting with "location = self.text_buffer"?!
> [...]
> AttributeError: 'LaTeXEditor' object has no attribute
> '_document_is_master'
> 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
Il giorno dom, 12/04/2020 alle 16.24 +0200, Maurizio Quadrio ha
scritto:
> @return: the extension of the currently opened file
> ^
> SyntaxError: invalid syntax
Mmmhhh... that's strange. Are you sure you only edited the line
starting with "location = self.text_buffer"?!
Checked it the simple way, it does not work.
gedit at 3.36.1-2 as requested. It fires up correctly with plugin
unchecked. When activated via Preferences -> Plugins this is the output
I get together with a warning sign:
** (gedit:56510): WARNING **: 16:19:55.334: Error importing plugin 'latex':
Sorry, forget my last comment, only now I read the entire
gitlab.gnome.org bug, and produced a simple patch:
https://gitlab.gnome.org/GNOME/gedit-latex/-/commit/2b4cbb4421b0f4e831550b7bc6a02931314e4133
It works with gedit 3.30.2, so if any of you could test it with gedit
3.36.1-1 (even just
Dear Pietro,
thanks for your efforts. I fear the issue is related to both gedit-latex
(upstream) *and* gedit. I also have a feeling that the trace I sent
before was there since quite some time, whereas gedit-latex (which I use
daily) broke a couple weeks ago.
Anyway, I'll stay tuned and see what
Il giorno sab, 11/04/2020 alle 13.08 +0200, Maurizio Quadrio ha
scritto:
> [489][mq.asus: /home/mq]$ gedit -s
> Traceback (most recent call last):
> File "/usr/lib/gedit/plugins/latex/tabdecorator.py", line 87, in
> _on_load
> self._adjust_editor()
> File
On Sun, 05 Apr 2020 19:52:40 +0200 Matthias Brennwald
wrote:
> I ran gedit from the terminal. There was no warning, error or other
> message.
I can confirm the error, identical situation here.
The plugin is semi-active: it provides menu entries, but does not
perform actions like compilation.
I ran gedit from the terminal. There was no warning, error or other
message.
On So, 5 Apr, 2020 at 12:46, Pietro Battiston
wrote:
Matthias, thank you for your report.
Indeed, I still didn't test the plugin with gedit version later
3.30.2.
Could you please try running gedit from the
Matthias, thank you for your report.
Indeed, I still didn't test the plugin with gedit version later 3.30.2.
Could you please try running gedit from the terminal (with "-s" if you
have other windows open already) and report any warning/error message?
Thanks,
Pietro
Il giorno dom, 05/04/2020
Package: gedit-latex-plugin
Version: 3.20.0-1
Severity: important
I am running on Debian Testing. Since pulling in an upgrade yesterday, the
gedit-latex-plugin does not work anymore. The gedit bottom panel used to show
the LaTeX stuff, now it's just empty. Running the LaTeX compiler from within
13 matches
Mail list logo
