Log-pane refinements
Bug #1251755 reported by
Jake Peck
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
leo-editor |
Confirmed
|
Wishlist
|
Unassigned |
Bug Description
The log pane can stand to be refined, particularly in the following areas:
- Re-orderable tabs (with drag and drop) would be nice.
- The ability to dock/undock/float tabs from the pane would be nice as well.
- The ability to delete/close tabs in the log pane (except a few vital ones like Log and Find) would be wonderful, without resorting to a script to call g.app.log.
Changed in leo-editor: | |
status: | New → Confirmed |
To post a comment you must log in.
On Fri, 15 Nov 2013 20:10:18 -0000
Jake Peck <email address hidden> wrote:
> Public bug reported:
>
> The log pane can stand to be refined, particularly in the following
> areas:
>
> - Re-orderable tabs (with drag and drop) would be nice.
>
> - The ability to dock/undock/float tabs from the pane would be nice as
> well.
free_layout (right click pane dividers) essentially does this. Open
window acts as a float option
> - The ability to delete/close tabs in the log pane (except a few vital
> ones like Log and Find) would be wonderful, without resorting to a
It should be possible to add a context menu to the tabs, like the
tabbed Leo interface itself has.
- close could be on that context menu
- detach on that context menu could trigger a free_layout open window
on the relevant tab
- re-ordering tabs is, I think, just a flag you set on the tab widget
> script to call g.app.log. deleteTab. Mainly, a context menu on right
> click of a tab name, providing a 'delete this tab' item would be
> wonderful. If this happens, there should be a flag when adding new tabs
> to the log pane, something like "closable=False" as a default, so that
> old plugins still work as intended.
>
> ** Affects: leo-editor
> Importance: Wishlist
> Status: New
>