Esempio n. 1
0
		public ConsoleScript() {
			this.div = ElementFactory.CreateDiv();
			this.div.id = ConsoleDivId;

			this.div.style.top = "0";
			this.div.style.right = "0";
			this.div.style.width = "300px";
			this.div.style.minHeight = "10px";
			this.div.style.border = "1px solid #999";
			this.div.style.fontFamily = "courier, monospace";
			this.div.style.background = "#eee";
			this.div.style.fontSize = "12px";
			this.div.style.padding = "10px";

			AddLink(this.OnHide, "close");
			AddLink(this.OnClear, "clear");
			AddLink(this.OnLog, "test");

			this.inner = ElementFactory.CreateDiv();
			this.div.appendChild(this.inner);

			var content = Global.Document.getElementById("content");
			content.appendChild(this.div);

			Log("Test1");
			Log("Test2");
		}
Esempio n. 2
0
        public Log(HtmlElement container)
        {
            this.container = container;
            var html = "<div class='log-main'><ol></ol></div>";
            this.div = ElementFactory.CreateDiv();
            this.div.id = "log-top";
            this.div.innerHTML = html;

            this.container.appendChild(this.div);
            this.list = (HtmlOListElement)this.div.getElementsByTagName("ol")[0];
        }