Re: Vitalije: ok to delete the settings branch?

On Mon, Sep 9, 2019 at 10:29 PM vitalije wrote: > I am travelling. Everything I've done sofar is in a separate file so > branches won't matter. > Thanks for the response. I'll delete the settings branch. Edward -- You received this message because you are subscri

Vitalije: ok to delete the settings branch?

I am travelling. Everything I've done sofar is in a separate file so branches won't matter. Vitalije -- 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+un

Vitalije: ok to delete the settings branch?

I have already deleted this branch on my machine. I was fully merged into devel. Imo, it would be best to base any new work on devel, *not* the present settings branch. I'll keep the settings branch until I hear from you. Edward -- You received this message because you are subscrib

Re: The settings branch

On Tuesday, June 27, 2017 at 9:05:57 AM UTC-5, Edward K. Ream wrote: > > This branch will be devoted to the following items: > > # 510: bindings to > commands created in plugins (sometimes?) don't work >

The settings branch

This branch will be devoted to the following items: # 510: bindings to commands created in plugins (sometimes?) don't work #467: File-open-by-name command: Add a setting to define preferre