public static void makeKeys ()
	{	V=new Vector();
		Hmenu=new Hashtable(); Hcharkey=new Hashtable();
		// collect all predefined keys
		Enumeration e=Global.names();
		if (e==null) return;
		while (e.hasMoreElements())
		{	String key=(String)e.nextElement();
			if (key.startsWith("key."))
			{	String menu=key.substring(4);
				String charkey=Global.getParameter(key,"default");
				String normalcharkey=Global.name(key);
				if (charkey.equals("default")) charkey=normalcharkey;
				KeyboardItem k=new KeyboardItem(menu,charkey);
				V.addElement(k);
				Hmenu.put(menu,k); Hcharkey.put(charkey,k);
			}
		}
		// collect all user defined (double defined) keys
		e=Global.properties();
		while (e.hasMoreElements())
		{	String key=(String)e.nextElement();
			if (key.startsWith("key."))
			{	String menu=key.substring(4);
				if (findMenu(menu)!=null) continue;
				String charkey=Global.getParameter(key,"default");
				if (charkey.equals("default")) continue;
				KeyboardItem k=new KeyboardItem(menu,charkey);
				V.addElement(k);
				Hmenu.put(menu,k); Hcharkey.put(charkey,k);
			}
		}
	}