On Tuesday, June 4, 2019 at 8:09:51 AM UTC-5, Edward K. Ream wrote: I've been saying that support for --no-docks would continue "forever", but > "forever" may be about over ;-) >
Belay that. Leo 6.0 final will support --no-docks. ...Leo 6.0 should switch completely to using Qt's dock widgets: > > 1. I have heard no complaints whatever about the look of the new docks, > nor do I have any myself. > 2. --no-docks offers nothing that could not be built into Leo using dock > widgets. > 3. Unifying Leo's look and feel is clearly in the interest of all users > and devs. > These are reasons to prefer the docked interface, not reasons to *prohibit* Leo's legacy interface! > 4. 6.0 is the time to remove as much accumulated cruft as possible, in the > code, in commands, in menus, and in command-line args. > True, but mostly irrelevant. #1182 <https://github.com/leo-editor/leo-editor/issues/1182> is independent of g.app.dock. g.app.dock is a useful "tag". Removing g.app.dock would not substantially simplify Leo's code. Leo 6.0 *will* retire the non-tabbed qt gui and seldom-used commands. See #1171 <https://github.com/leo-editor/leo-editor/issues/1171>. *Summary* Some users may prefer Leo's legacy look and feel. There is no real reason to prevent that. 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 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/b931177f-28d0-4791-bb5f-03758aefbcf7%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
