001package org.vishia.gral.cfg; 002 003import java.util.ArrayList; 004import java.util.LinkedList; 005import java.util.List; 006 007import org.vishia.gral.base.GralPos; 008import org.vishia.gral.ifc.GralRectangle; 009 010final public class GralCfgPanel extends GralCfgElement 011{ 012 /**Version, history and license. 013 * <ul> 014 * <li>2016-06-27 Hartmut new: The panel can be a window too. 015 * <li>2011-06-00 Hartmut created 016 * </ul> 017 * 018 * <b>Copyright/Copyleft</b>:<br> 019 * For this source the LGPL Lesser General Public License, 020 * published by the Free Software Foundation is valid. 021 * It means: 022 * <ol> 023 * <li> You can use this source without any restriction for any desired purpose. 024 * <li> You can redistribute copies of this source to everybody. 025 * <li> Every user of this source, also the user of redistribute copies 026 * with or without payment, must accept this license for further using. 027 * <li> But the LPGL is not appropriate for a whole software product, 028 * if this source is only a part of them. It means, the user 029 * must publish this part of source, 030 * but doesn't need to publish the whole source of the own product. 031 * <li> You can study and modify (improve) this source 032 * for own using or for redistribution, but you have to license the 033 * modified sources likewise under this LGPL Lesser General Public License. 034 * You mustn't delete this Copyright/Copyleft inscription in this source file. 035 * </ol> 036 * If you intent to use this source without publishing its usage, you can get 037 * a second license subscribing a special contract with the author. 038 * 039 * @author Hartmut Schorrig = hartmut.schorrig@vishia.de 040 */ 041 public static final int version = 20120303; 042 043 String name; 044 final List<GralCfgElement> listElements = new ArrayList<GralCfgElement>(); 045 046 047 String windTitle; 048 049 String windPos; 050 051 GralCfgPanel(){ } 052 053 GralCfgPanel(String name){ this.name = name; } 054 055 056 /**Set from ZBNF: */ 057 public void set_windIdent(String val){ name = val; } 058 059 public void set_windTitle(String val){ windTitle = val; } 060 061 public void set_windPos(String val) { windPos = val; } 062 063 064}