public void addcomment (String s)
	// add a string to the comments, notifies comment area
	{
		TreeNode p = T.top();
		while (p.haschildren())
			p = p.firstChild();
		if (Pos == p) getinformation();
		ListElement la = p.node().actions();
		Action a;
		String Added = "";
		ListElement larg;
		outer: while (true)
		{
			while (la != null)
			{
				a = (Action)la.content();
				if (a.type().equals("C"))
				{
					larg = a.arguments();
					if (((String)larg.content()).equals(""))
					{
						larg.content(s);
						Added = s;
					}
					else
					{
						larg.content((String)larg.content() + "\n" + s);
						Added = "\n" + s;
					}
					break outer;
				}
				la = la.next();
			}
			p.addaction(new Action("C", s));
			break;
		}
		if (Pos == p)
		{
			GF.appendComment(Added);
			showinformation();
		}
	}