Edward, what branch is this in? On Friday, February 28, 2020 at 5:26:56 PM UTC-5, Edward K. Ream wrote: > > Recent revs in devel have made the following changes, per #1514 > <https://github.com/leo-editor/leo-editor/issues/1514>: > > The --no-dock option is deprecated, because it is the default. > > The --use-docks option is new. > > The --global-docks option now sets g.app.dock. > > @string initial-split-orientation = horizontal is now the default. > > Please report any problems or concerns. > > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/6d2d4c45-8468-4b1d-9960-aca11b7e7364%40googlegroups.com.
