ECMA48Backend compiles
[fanfix.git] / src / jexer / event / TResizeEvent.java
1 /**
2 * Jexer - Java Text User Interface
3 *
4 * Version: $Id$
5 *
6 * Author: Kevin Lamonte, <a href="mailto:kevin.lamonte@gmail.com">kevin.lamonte@gmail.com</a>
7 *
8 * License: LGPLv3 or later
9 *
10 * Copyright: This module is licensed under the GNU Lesser General
11 * Public License Version 3. Please see the file "COPYING" in this
12 * directory for more information about the GNU Lesser General Public
13 * License Version 3.
14 *
15 * Copyright (C) 2015 Kevin Lamonte
16 *
17 * This program is free software; you can redistribute it and/or
18 * modify it under the terms of the GNU Lesser General Public License
19 * as published by the Free Software Foundation; either version 3 of
20 * the License, or (at your option) any later version.
21 *
22 * This program is distributed in the hope that it will be useful, but
23 * WITHOUT ANY WARRANTY; without even the implied warranty of
24 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25 * General Public License for more details.
26 *
27 * You should have received a copy of the GNU Lesser General Public
28 * License along with this program; if not, see
29 * http://www.gnu.org/licenses/, or write to the Free Software
30 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
31 * 02110-1301 USA
32 */
33 package jexer.event;
34
35 /**
36 * This class encapsulates a screen or window resize event.
37 */
38 public class TResizeEvent extends TInputEvent {
39
40 /**
41 * Resize events can be generated for either a total screen resize or a
42 * widget/window resize.
43 */
44 public enum Type {
45 Screen,
46 Widget
47 }
48
49 /**
50 * The type of resize
51 */
52 public Type type;
53
54 /**
55 * New width
56 */
57 public int width;
58
59 /**
60 * New height
61 */
62 public int height;
63
64 /**
65 * Public contructor
66 *
67 * @param type the Type of resize, Screen or Widget
68 * @param width the new width
69 * @param height the new height
70 */
71 public TResizeEvent(Type type, int width, int height) {
72 this.type = type;
73 this.width = width;
74 this.height = height;
75 }
76
77 /**
78 * Make human-readable description of this event
79 */
80 @Override
81 public String toString() {
82 return String.format("Resize: %s width = %d height = %d",
83 type, width, height);
84 }
85
86 }