/* * Jexer - Java Text User Interface * * License: LGPLv3 or later * * This module is licensed under the GNU Lesser General Public License * Version 3. Please see the file "COPYING" in this directory for more * information about the GNU Lesser General Public License Version 3. * * Copyright (C) 2015 Kevin Lamonte * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public License * as published by the Free Software Foundation; either version 3 of * the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this program; if not, see * http://www.gnu.org/licenses/, or write to the Free Software * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA * 02110-1301 USA * * @author Kevin Lamonte [kevin.lamonte@gmail.com] * @version 1 */ package jexer.demos; import java.io.IOException; import jexer.*; import jexer.event.*; /** * This window demonstates the TTreeView widget. */ public class DemoTreeViewWindow extends TWindow { /** * Hang onto my TTreeView so I can resize it with the window. */ private TTreeView treeView; /** * Public constructor. * * @param parent the main application */ public DemoTreeViewWindow(TApplication parent) throws IOException { super(parent, "Tree View", 0, 0, 44, 16, TWindow.RESIZABLE); // Load the treeview with "stuff" treeView = addTreeView(1, 1, 40, 12); new TDirectoryTreeItem(treeView, ".", true); } /** * Handle window/screen resize events. * * @param resize resize event */ @Override public void onResize(TResizeEvent resize) { if (resize.getType() == TResizeEvent.Type.WIDGET) { // Resize the text field treeView.setWidth(resize.getWidth() - 4); treeView.setHeight(resize.getHeight() - 4); treeView.reflow(); return; } // Pass to children instead for (TWidget widget: getChildren()) { widget.onResize(resize); } } }