Key-bindings for auto-resize
Although the configuration of the current layout with Ctrl+Shift+
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- Undefined
- Drafter:
- None
- Direction:
- Needs approval
- Assignee:
- None
- Definition:
- Obsolete
- Series goal:
- None
- Implementation:
-
Unknown
- Milestone target:
- None
- Started by
- Completed by
- Stephen Boddy
Related branches
Related bugs
Sprints
Whiteboard
[Steve Boddy] Are you aware of double-clicking the splitter bars? That will even up the current group (vertical splits or horizontal splits). If you use the Super (Windows) and Shift modifiers it evens up all parent or child splitters respectively, and the modifiers can be used together too.
[Bijan Chokoufe] I wasn't aware of this since I usually disable splitter bars, title bars and window borders. A key-binding would still be desirable imho.
[Steve Boddy] OK, well this should be a fairly simple junior job. The complicated stuff (the redistribution functions) are already there. Just the key bindings need to be added.
- Add binding XXX_XXX to "keybindings" in config.py
- Add function key_XXX_XXX to Terminal class in terminal.py
- Function key_XXX_XXX calls the inherited do_redistribute function of the VPaned/HPaned class.
Unfortunately gtk forces us to use nested splitters. This would make the logic of choosing which splitter to act upon quite a bit harder, and would probably introduce unexpected size changes of other terminals due to the annoying way the gtk splitters work.
[SJB - the current maintainer] This is a feature request, not a blueprint. If you still want this raise it as a bug and it will be marked as a feature.
