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.

Reply via email to