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 <liomarhora@gmail.com mailto:liomarhora@gmail.com> escreveu:
Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users