Opened 14 years ago
Closed 14 years ago
#1240 closed enhancement (done)
Keyboard shortcuts to close open tabs
| Reported by: | mkommend | Owned by: | swagner |
|---|---|---|---|
| Priority: | lowest | Milestone: | HeuristicLab 3.3.2 |
| Component: | Optimizer | Version: | 3.3.2 |
| Keywords: | Cc: |
Description
Use CTRL+W to close the active tab and CTRL + SHIFT + W to close all open tabs.
Change History (5)
comment:1 Changed 14 years ago by swagner
- Milestone changed from HeuristicLab x.x.x to HeuristicLab 3.3.2
- Status changed from new to accepted
- Version changed from 3.3.2 to 3.3.1
comment:2 Changed 14 years ago by swagner
- Type changed from feature request to enhancement
comment:3 Changed 14 years ago by swagner
comment:4 Changed 14 years ago by swagner
- Status changed from accepted to readytorelease
comment:5 Changed 14 years ago by swagner
- Resolution set to done
- Status changed from readytorelease to closed
- Version changed from 3.3.1 to 3.3.2
Note: See
TracTickets for help on using
tickets.
Implemented in r4805.