On Thu, Aug 1, 2019 at 11:55 PM Matt Wilkie <map...@gmail.com> wrote:
Commit d0ad9f810 to devel adds a [add-desktop-links] button to > Desktop-integration.leo (under Settings menu). > The settings menu item looks good. I haven't tested the buttons withing DI.leo and have no opinion about them. You can fix complaints as they arise. That is, I'm good with having this in 6.0 final. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3DPyDEPpQszsmw%2Biq5Yz_rDc_TDRXMdhXULYM6BxexWw%40mail.gmail.com.