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
https://gitlab.gnome.org/GNOME/gedit-latex/-/commit
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'
O
> 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 load
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':
Tr
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 editin
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 "/usr/lib/gedit/plugins/latex/tabde
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. The
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 termi
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
ge
13 matches
Mail list logo
