On Monday, October 14, 2024 at 8:43:41 AM UTC-4 Edward K. Ream wrote: On Mon, Oct 14, 2024 at 7:02 AM Viktor Ransmayr <viktor....@gmail.com> wrote:
> Something is awkward with the current state of the new layout system ( at least in my Fedora Linux VM ;-) Many thanks, Viktor, for your testing. I'm willing to delay 6.8.2 if necessary to make sure layouts "just work". Thomas, please take a look. I'm not sure it's worth delaying 6.8.2 but OTOH I don't see a compelling need to get 6.8.2 out. My feeling is that the 6.8.1 layout system is in there intact and the new layout commands are optional for the user. They are more convenient and don't require a reload of the outline so they bring value. The initial-split-orientation is likely to be very confusing for users. It even confuses me. Are both the main and secondary splitters going to have their orientation changed? if not, which one? And how many users are even going to know what a splitter is, let alone which widgets are in which splitters, and what the "orientation" indicates? In addition, changing the splitter orientations is only going to confuse and muddle the starting orientation. It will only be useful for a few of them. I think that if we want layouts with different orientations, we should just create them and offer them to the user, for those layouts it makes sense for. Do you want to delay 6.8.2 until we do that? You would have to create them for the 6.8.1 layouts, and I would have to create them for the new system. I also think we should devise as way for the user to know what they will be getting if they change the default layout. With the new layouts, at least it's easy enough to switch between them until one finds one he likes. -- 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/05236f7d-5da5-4cb7-a98d-05958a1da4a7n%40googlegroups.com.
