| 109 | Keys.ctrlAlt(KeyEvent.VK_RIGHT), () -> editor.selectNextTab()); |
| 110 | |
| 111 | Actions() { |
| 112 | // Explicitly bind keybindings for the actions with accelerators above |
| 113 | // Normally, this happens automatically for any actions bound to menu |
| 114 | // items, but only for menus attached to a window, not for popup menus. |
| 115 | Keys.bind(EditorHeader.this, newTab); |
| 116 | Keys.bind(EditorHeader.this, prevTab); |
| 117 | Keys.bind(EditorHeader.this, nextTab); |
| 118 | |
| 119 | // Add alternative keybindings to switch tabs |
| 120 | Keys.bind(EditorHeader.this, prevTab, Keys.ctrlShift(KeyEvent.VK_TAB)); |
| 121 | Keys.bind(EditorHeader.this, nextTab, Keys.ctrl(KeyEvent.VK_TAB)); |
| 122 | } |
| 123 | } |
| 124 | public Actions actions = new Actions(); |
| 125 | |