?? htmllistelement.java
字號:
// **********************************************************************// // <copyright>// // BBN Technologies// 10 Moulton Street// Cambridge, MA 02138// (617) 873-8000// // Copyright (C) BBNT Solutions LLC. All rights reserved.// // </copyright>// **********************************************************************// // $Source: /cvs/distapps/openmap/src/openmap/com/bbn/openmap/layer/util/html/HtmlListElement.java,v $// $RCSfile: HtmlListElement.java,v $// $Revision: 1.3.2.1 $// $Date: 2004/10/14 18:27:19 $// $Author: dietrick $// // **********************************************************************package com.bbn.openmap.layer.util.html;/** A container for a list body */public class HtmlListElement implements ContainerElement { private Element header; private ListBodyElement items = new ListBodyElement(); /** Construct a new ListElement */ public HtmlListElement() { this((Element) null); } public HtmlListElement(String s) { this(new StringElement(s)); } public HtmlListElement(Element header) { this.header = header; } public void setTitleElement(Element e) { header = e; } public void setTitleElement(String s) { setTitleElement(new StringElement(s)); } public void generate(java.io.Writer out) throws java.io.IOException { if (header != null) { header.generate(out); } new WrapElement("ul", items).generate(out); } /** * Add an element to the end of the list * * @param e the element to add */ public void addElement(Element e) { items.addElement(e); } /** * Add an element to the end of the list * * @param s the string to add */ public void addElement(String s) { addElement(new StringElement(s)); }}?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -