On 8 June 2012 11:12, theUser BL <[email protected]> wrote: > > I think it would be nice to have line numbers for the HTML export plugin. > > I am not so familiar with C++, so I post it only as suggestion.
Hi, The HTML export plugin is written in C so I am afraid that your Java is no use :( You are right that line numbers might be a nice option, but it would have to be a setting, the output has been the way it is for some time and people may be relying on it. But as always someone has to do it, but pull requests are welcome :) Cheers Lex [...] _______________________________________________ Geany-devel mailing list [email protected] https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
