Leo uses tabs to switch workspaces (contexts). Each .leo file can define or redefine what menus, settings, plugins and so on are available within it's context. So tabs are the highest level of containment.
IMO this is only partly true. There are always menus, menu items, and functions that are globally used (i.e. File, Help, View, the arrangement of panes/windows) AND items that are context-specific, so it's not an either-or question. Other IDEs (i.e. PyCharm) solve this dilemma by providing two menus: one global menu bar and - within a tab - a context-specific menu bar, sometimes even with an additional toolbar. I.e. in the Web Development world this is exemplified by the CKEditor plugin for web pages (https://docs.ckeditor.com/) or even the comment function of this Google group. Reinhard -- 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. For more options, visit https://groups.google.com/d/optout.
