examples/JexerTilingWindowManager2.java

   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 }