examples/JexerTilingWindowManager2.java

   1 import jexer.TAction;
   2 import jexer.TApplication;
   3 import jexer.TDesktop;
   4 import jexer.TPanel;
   5 import jexer.TTerminalWidget;
   6 import jexer.TSplitPane;
   7 import jexer.TWidget;
   8 import jexer.event.TKeypressEvent;
   9 import jexer.event.TMenuEvent;
  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         createRootTerminal();
  82     }
  83
  84     /**
  85      * Process menu events.
  86      */
  87     @Override
  88     protected boolean onMenu(TMenuEvent event) {
  89         if (event.getId() == MENU_SPLIT_VERTICAL) {
  90             if (root == null) {
  91                 createRootTerminal();
  92                 return true;
  93             }
  94             TWidget active = root.getActiveChild();
  95             TSplitPane split = active.splitVertical(false,
  96                 new TTerminalWidget(getDesktop(), active.getX(),
  97                     active.getY(), active.getWidth(), active.getHeight(),
  98                     new TAction() {
  99                         public void DO() {
 100                             if (source.getParent() instanceof TSplitPane) {
 101                                 ((TSplitPane) source.getParent()).removeSplit(source, true);
 102                             } else if (source == root) {
 103                                 assert (root != null);
 104                                 root.remove();
 105                                 root = null;
 106                             }
 107                         }
 108                     }));
 109
 110             if (active == root) {
 111                 root = split;
 112             }
 113             return true;
 114         }
 115         if (event.getId() == MENU_SPLIT_HORIZONTAL) {
 116             if (root == null) {
 117                 createRootTerminal();
 118                 return true;
 119             }
 120             TWidget active = root.getActiveChild();
 121             TSplitPane split = active.splitHorizontal(false,
 122                 new TTerminalWidget(getDesktop(), active.getX(),
 123                     active.getY(), active.getWidth(), active.getHeight(),
 124                     new TAction() {
 125                         public void DO() {
 126                             if (source.getParent() instanceof TSplitPane) {
 127                                 ((TSplitPane) source.getParent()).removeSplit(source, true);
 128                             } else if (source == root) {
 129                                 assert (root != null);
 130                                 root.remove();
 131                                 root = null;
 132                             }
 133                         }
 134                     }));
 135             return true;
 136         }
 137
 138         return super.onMenu(event);
 139     }
 140
 141     /**
 142      * Create the root terminal.
 143      */
 144     private void createRootTerminal() {
 145         assert (root == null);
 146         root = new TTerminalWidget(getDesktop(), 0, 0,
 147             getDesktop().getWidth(), getDesktop().getHeight(),
 148             new TAction() {
 149                 public void DO() {
 150                     if (source.getParent() instanceof TSplitPane) {
 151                         ((TSplitPane) source.getParent()).removeSplit(source, true);
 152                     } else if (source == root) {
 153                         assert (root != null);
 154                         root.remove();
 155                         root = null;
 156                     }
 157                 }
 158             });
 159     }
 160
 161 }