\n
\n" + StringUtil.join((Object[])render_buttons," \n")
+ "
\n");
} // end render
/*--------------------------------------------------------------------------------
* External operations
*--------------------------------------------------------------------------------
*/
public final void setMenuSelector(int sel)
{
menu_selector = sel;
} // end setMenuSelector
public final String getTitle()
{
return title;
} // end getTitle
public final void setTitle(String s)
{
title = s;
} // end setTitle
public final String getSubTitle()
{
return subtitle;
} // end getSubTitle
public final void setSubTitle(String s)
{
subtitle = s;
} // end setSubTitle
public final String getText()
{
return text;
} // end getText
public final void setText(String s)
{
text = s;
} // end setText
public final void addButton(int linktype, String link, String id)
{
buttons.add(new Button(linktype,link,id));
render_buttons = null;
} // end addButton
} // end class TextMessage