On 8/12/2020 9:36 AM, Geoff Kaniuk wrote:
Hello Liomar,
It is very interesting to me that you are using debian buster, as I am
on the point of upgrading to it. I also find Devhelp very useful, and I
note that it has been dropped from buster. I wonder what desktop
environment you are using? (I use Mate). At the moment I am still
running stretch, and the debug messages that Lex is asking for come from
the menu system: Geany->Help->Debug Messages. In my case the first
three lines are:
========================================================================
16:51:37: Geany INFO : Geany 1.29, en_GB.UTF-8
16:51:37: Geany INFO : GTK 2.24.31, GLib 2.50.3
16:51:37: Geany INFO : System data dir: /usr/share/geany
========================================================================
But what intrigues me is that debian do provide the DevHelp package at
version 3.30, so I wonder what the plugin-devhelp offers over and above
the debian Devhelp package. (I have it installed on the panel).
If you mean what does the Geany Devhelp plugin offer compared to the
full Devhelp application, the main difference/advantage is that it puts
the widgets from Devhelp into Geany's user interface rather than running
a separate program, as well as it offers the ability to right click on a
term in a file in Geany open the related documentation from within
Geany. If I remember correctly, it also allows to search man-pages with
the same user interface.
I haven't used it in a while, but I assume the full Devhelp program
probably offers additional features that aren't available in the Geany
plugin.
I believe you can replace the lookup functionality to open the external
Devhelp application by using Geany's "context actions" feature. There
might also be other plugins that could do similar.
Regards,
Matthew Brush
I have looked at the list of source files for devhelp in github:
https://github.com/geany/geany-plugins/tree/master/devhelp/devhelp.
There it appears that the devhelp version is 2.32. Unless of course I
am misinterpreting what I see there.
I am also interested in this issue as I will soon be going through the
same process with geany-plugin-debugger - another missing plugin.
Geoff
On 12/08/2020 14:44, Liomar da Hora wrote:
I use the debian buster.
Em qua., 12 de ago. de 2020 às 10:42, Liomar da Hora
<liomarh...@gmail.com <mailto:liomarh...@gmail.com>> escreveu:
_______________________________________________
Users mailing list
Users@lists.geany.org
https://lists.geany.org/cgi-bin/mailman/listinfo/users
_______________________________________________
Users mailing list
Users@lists.geany.org
https://lists.geany.org/cgi-bin/mailman/listinfo/users