Commit | Line | Data |
---|---|---|
2bc32111 KL |
1 | import jexer.TAction; |
2 | import jexer.TApplication; | |
3 | import jexer.TDesktop; | |
4 | import jexer.TTerminalWidget; | |
5 | import jexer.TWidget; | |
6 | import jexer.event.TKeypressEvent; | |
7 | import jexer.event.TMenuEvent; | |
8 | import jexer.event.TMouseEvent; | |
9 | import jexer.event.TResizeEvent; | |
10 | import jexer.menu.TMenu; | |
11 | ||
12 | /** | |
13 | * Implements a simple tiling window manager. A terminal widget is added to | |
14 | * the desktop, which can be split horizontally or vertically. A close | |
15 | * action is provided to each window to remove the split when its shell | |
16 | * exits. | |
17 | * | |
18 | * This example shows what can be done with minimal changes to stock Jexer | |
19 | * widgets. | |
20 | */ | |
21 | public class JexerTilingWindowManager2 extends TApplication { | |
22 | ||
23 | /** | |
24 | * Menu item: split the terminal vertically. | |
25 | */ | |
26 | private static final int MENU_SPLIT_VERTICAL = 2000; | |
27 | ||
28 | /** | |
29 | * Menu item: split the terminal horizontally. | |
30 | */ | |
31 | private static final int MENU_SPLIT_HORIZONTAL = 2001; | |
32 | ||
33 | /** | |
34 | * Handle to the root widget. | |
35 | */ | |
36 | private TWidget root = null; | |
37 | ||
38 | /** | |
39 | * Main entry point. | |
40 | */ | |
41 | public static void main(String [] args) throws Exception { | |
42 | // For this application, we must use ptypipe so that the terminal | |
43 | // shells can be aware of their size. | |
44 | System.setProperty("jexer.TTerminal.ptypipe", "true"); | |
45 | ||
46 | // Let's also suppress the status line. | |
47 | System.setProperty("jexer.hideStatusBar", "true"); | |
48 | ||
49 | JexerTilingWindowManager2 jtwm = new JexerTilingWindowManager2(); | |
50 | (new Thread(jtwm)).start(); | |
51 | } | |
52 | ||
53 | /** | |
54 | * Public constructor chooses the ECMA-48 / Xterm backend. | |
55 | */ | |
56 | public JexerTilingWindowManager2() throws Exception { | |
57 | super(BackendType.SWING); | |
58 | ||
59 | // The stock tool menu has items for redrawing the screen, opening | |
60 | // images, and (when using the Swing backend) setting the font. | |
61 | addToolMenu(); | |
62 | ||
63 | // We will have one menu containing a mix of new and stock commands | |
64 | TMenu tileMenu = addMenu("&Tile"); | |
65 | ||
66 | // New commands for this example: split vertical and horizontal. | |
67 | tileMenu.addItem(MENU_SPLIT_VERTICAL, "&Vertical Split"); | |
68 | tileMenu.addItem(MENU_SPLIT_HORIZONTAL, "&Horizontal Split"); | |
69 | ||
70 | // Stock commands: a new shell with resizable window, previous, next, | |
71 | // close, and exit program. | |
72 | tileMenu.addItem(TMenu.MID_SHELL, "&Floating"); | |
73 | tileMenu.addSeparator(); | |
74 | tileMenu.addDefaultItem(TMenu.MID_WINDOW_PREVIOUS); | |
75 | tileMenu.addDefaultItem(TMenu.MID_WINDOW_NEXT); | |
76 | tileMenu.addDefaultItem(TMenu.MID_WINDOW_CLOSE); | |
77 | tileMenu.addSeparator(); | |
78 | tileMenu.addDefaultItem(TMenu.MID_EXIT); | |
79 | ||
80 | // Spin up the root terminal | |
81 | root = new TTerminalWidget(getDesktop(), 0, 0, | |
82 | getDesktop().getWidth(), getDesktop().getHeight(), | |
83 | new TAction() { | |
84 | public void DO() { | |
85 | // TODO: if root's parent is TSplitPane, call | |
86 | // TSplitPane.removeSplit(TWidget). | |
87 | if (root != null) { | |
88 | root.remove(); | |
89 | } | |
90 | } | |
91 | }); | |
92 | } | |
93 | ||
94 | /** | |
95 | * Process menu events. | |
96 | */ | |
97 | @Override | |
98 | protected boolean onMenu(TMenuEvent event) { | |
99 | if (event.getId() == MENU_SPLIT_VERTICAL) { | |
100 | splitVertical(); | |
101 | return true; | |
102 | } | |
103 | if (event.getId() == MENU_SPLIT_HORIZONTAL) { | |
104 | splitHorizontal(); | |
105 | return true; | |
106 | } | |
107 | ||
108 | return super.onMenu(event); | |
109 | } | |
110 | ||
111 | /** | |
112 | * Perform the vertical split. | |
113 | */ | |
114 | private void splitVertical() { | |
115 | // TODO | |
116 | } | |
117 | ||
118 | /** | |
119 | * Perform the horizontal split. | |
120 | */ | |
121 | private void splitHorizontal() { | |
122 | // TODO | |
123 | } | |
124 | ||
125 | } |