Add a hotkey to *toggle* grouping
Bug #1097347 reported by
Ori Avtalion
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Terminator |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
The "Super+g" hotkey groups all terminals. However, to ungroup them, you have to use "Super+shift+G".
I find this uncomfortable and redundant.
Can you please add a hotkey that groups/ungroups all terminals? Or, if possible, just change the behavior of Super+g.
Related branches
| Changed in terminator: | |
| status: | New → Confirmed |
| importance: | Undecided → Wishlist |
| Changed in terminator: | |
| milestone: | none → 1.0 |
Revision history for this message
| Stephen Boddy (stephen-j-boddy) wrote | #1 |
| Changed in terminator: | |
| status: | Confirmed → Fix Committed |
| Changed in terminator: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Hi Ori, new maintainer here. I was looking at this, as it is milestone'd for the 1.0 release, and I can think of two ways of doing this. Either a flag per running instance, and toggle groups based on that. This would work, but might be confusing if the user has been messing around with groups beforehand. I think a better way is to toggle based on the Group of the current terminal. If it is "All" then Ungroup all terminals. If it is anything else (No group or any other name) then Group all terminals. I started with the first, but thinking about it, I think I prefer the second. What's more I'm doing something similar for Group Tab, and the second option would be much easier for Tabs. Otherwise I'll have to start storing a flag per tab, which would be a bit of a pain.