FYI: changes to settings & command-line options

[Edward K. Ream]

Recent revs in devel have made the following changes, per #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

[Thomas Passin]

Edward, what branch is this in?

[Matt Wilkie]

> 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:

devel ---------   ^^^^^

:)

[Thomas Passin]

Thanks.

[Edward K. Ream]

On Fri, Feb 28, 2020 at 5:25 PM Thomas Passin <tbp1...@gmail.com> wrote:

Edward, what branch is this in?

In devel, as gitk will show you.

Edward

[Chris George]

Using --use-docks adds an extra line/tab to the global window at the top "Leo outlines" as well as a header to every window/tab/outline etc.

Is there a way to retrieve the lost screen real estate?

Chris

--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e55d5dc6-6f1f-4149-a74c-7f2c3751412c%40googlegroups.com.

[Edward K. Ream]

On Fri, Feb 28, 2020 at 8:56 PM Chris George <techn...@gmail.com> wrote:

Using --use-docks adds an extra line/tab to the global window at the top "Leo outlines" as well as a header to every window/tab/outline etc.

Is there a way to retrieve the lost screen real estate?

Not yet. See #1465. It should be possible in one or more ways. See the QDockWidget docs.

Edward