Fix UTF8 bug, create first executable JAR file
[jvcard.git] / src / com / googlecode / lanterna / gui2 / DefaultWindowDecorationRenderer.java
... / ...
CommitLineData
1/*
2 * This file is part of lanterna (http://code.google.com/p/lanterna/).
3 *
4 * lanterna is free software: you can redistribute it and/or modify
5 * it under the terms of the GNU Lesser General Public License as published by
6 * the Free Software Foundation, either version 3 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public License
15 * along with this program. If not, see <http://www.gnu.org/licenses/>.
16 *
17 * Copyright (C) 2010-2015 Martin
18 */
19package com.googlecode.lanterna.gui2;
20
21import com.googlecode.lanterna.*;
22import com.googlecode.lanterna.graphics.ThemeDefinition;
23
24/**
25 * Default window decoration renderer that is used unless overridden with another decoration renderer. The windows are
26 * drawn using a bevel colored line and the window title in the top-left corner, very similar to ordinary titled
27 * borders.
28 *
29 * @author Martin
30 */
31public class DefaultWindowDecorationRenderer implements WindowDecorationRenderer {
32 @Override
33 public TextGUIGraphics draw(TextGUI textGUI, TextGUIGraphics graphics, Window window) {
34 String title = window.getTitle();
35 if(title == null) {
36 title = "";
37 }
38
39 ThemeDefinition themeDefinition = graphics.getThemeDefinition(DefaultWindowDecorationRenderer.class);
40 char horizontalLine = themeDefinition.getCharacter("HORIZONTAL_LINE", Symbols.SINGLE_LINE_HORIZONTAL);
41 char verticalLine = themeDefinition.getCharacter("VERTICAL_LINE", Symbols.SINGLE_LINE_VERTICAL);
42 char bottomLeftCorner = themeDefinition.getCharacter("BOTTOM_LEFT_CORNER", Symbols.SINGLE_LINE_BOTTOM_LEFT_CORNER);
43 char topLeftCorner = themeDefinition.getCharacter("TOP_LEFT_CORNER", Symbols.SINGLE_LINE_TOP_LEFT_CORNER);
44 char bottomRightCorner = themeDefinition.getCharacter("BOTTOM_RIGHT_CORNER", Symbols.SINGLE_LINE_BOTTOM_RIGHT_CORNER);
45 char topRightCorner = themeDefinition.getCharacter("TOP_RIGHT_CORNER", Symbols.SINGLE_LINE_TOP_RIGHT_CORNER);
46
47 TerminalSize drawableArea = graphics.getSize();
48 graphics.applyThemeStyle(themeDefinition.getPreLight());
49 graphics.drawLine(new TerminalPosition(0, drawableArea.getRows() - 2), new TerminalPosition(0, 1), verticalLine);
50 graphics.drawLine(new TerminalPosition(1, 0), new TerminalPosition(drawableArea.getColumns() - 2, 0), horizontalLine);
51 graphics.setCharacter(0, 0, topLeftCorner);
52 graphics.setCharacter(0, drawableArea.getRows() - 1, bottomLeftCorner);
53
54 graphics.applyThemeStyle(themeDefinition.getNormal());
55
56 graphics.drawLine(
57 new TerminalPosition(drawableArea.getColumns() - 1, 1),
58 new TerminalPosition(drawableArea.getColumns() - 1, drawableArea.getRows() - 2),
59 verticalLine);
60 graphics.drawLine(
61 new TerminalPosition(1, drawableArea.getRows() - 1),
62 new TerminalPosition(drawableArea.getColumns() - 2, drawableArea.getRows() - 1),
63 horizontalLine);
64
65 graphics.setCharacter(drawableArea.getColumns() - 1, 0, topRightCorner);
66 graphics.setCharacter(drawableArea.getColumns() - 1, drawableArea.getRows() - 1, bottomRightCorner);
67
68 if(!title.isEmpty()) {
69 graphics.putString(2, 0, TerminalTextUtils.fitString(title, drawableArea.getColumns() - 3));
70 }
71
72 return graphics.newTextGraphics(new TerminalPosition(1, 1), graphics.getSize().withRelativeColumns(-2).withRelativeRows(-2));
73 }
74
75 @Override
76 public TerminalSize getDecoratedSize(Window window, TerminalSize contentAreaSize) {
77 return contentAreaSize
78 .withRelativeColumns(2)
79 .withRelativeRows(2)
80 .max(new TerminalSize(TerminalTextUtils.getColumnWidth(window.getTitle()) + 4, 1)); //Make sure the title fits!
81 }
82
83 private static final TerminalPosition OFFSET = new TerminalPosition(1, 1);
84
85 @Override
86 public TerminalPosition getOffset(Window window) {
87 return OFFSET;
88 }
89}