That's great, thanks Chris, it worked perfectly! On Wednesday, 19 June 2019 20:53:07 UTC+8, Chris George wrote: > > Hi Martin, > > There is a central dock widget. By default it is the Outline widget. The > central widget has limitations and forms the anchor for all other dock > widgets to be placed in relationship to it. > > To get the layout you want you need to change the central widget to the > body widget. Add the following to your settings tree in your > myLeoSettings.leo and restart Leo. > > @string central-dock-widget = body > > HTH, > > Chris > > > > On Wednesday, June 19, 2019 at 5:07:02 AM UTC-7, Martin Towner wrote: >> >> hello all, could someone help me? I've just moved to 6.0, from 5, and I'm >> trying to get a specific window layout, and I can't figure out how to do >> it! I want the right half of the screen to be body, top left quarter to be >> outline, and bottom left quarter to be tabs/find/log... >> >> In v5 I used to use toggle-split-direction, and all done, but not an >> option in v6. After some googling, I've tried turning windows on/off, >> dragging them around in various combinations, but it feels like one of >> those wooden puzzles and I can't make it do what I want! I've got the >> outline in top-left, but either the tabs window is full width at the >> bottom, with body as top-right quarter, or outline is full width across the >> top half! Is there a way to set window positions using the command line >> maybe? I know I can start with --no-dock, but i wanted to stay with the >> newer windowing. >> Thanks! >> Martin >> >
-- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/c5dacd78-3e43-4ee3-9c32-2aba48babf2b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
