void textEditor_TextArea_TextEntered1(object sender, TextCompositionEventArgs e) { if (e.Text == @"\") { // open code completion after the user has pressed dot: completionWindow = new CompletionWindow(textEditor.TextArea); // provide AvalonEdit with the data: IList <ICompletionData> data = completionWindow.CompletionList.CompletionData; foreach (string s in TexHelper.TexEntries()["Greek letters"]) { MyCompletionData d = new MyCompletionData(s); data.Add(new MyCompletionData(s.Substring(1, s.Length - 1))); } completionWindow.Show(); completionWindow.Closed += delegate { completionWindow = null; }; } }
private void Toolbox_Load(object sender, EventArgs e) { if (!this.Visible) { return; } int i = 0; foreach (KeyValuePair <string, string[]> kvp in TexHelper.TexEntries()) { ToolBox.VSTreeNode newGroup = new ToolBox.VSTreeNode(); newGroup.Text = String.Format(kvp.Key); toolBox1.Nodes.Add(newGroup); if (toolBox1.SelectedNode == null) { toolBox1.SelectedNode = toolBox1.Nodes[i]; } foreach (string s in kvp.Value) { Random rndImage = new Random(); ToolBox.VSTreeNode newSubItem = new ToolBox.VSTreeNode(); newSubItem.Text = String.Format(s); string x = s; if (char.IsUpper(s.Substring(1, s.Length - 1)[0])) { x = s + "_U"; } else { x = s + "_L"; } if (this.imageList.Images.ContainsKey(x.Substring(1, x.Length - 1) + ".png")) { newSubItem.ImageIndex = imageList.Images.IndexOfKey(x.Substring(1, x.Length - 1).ToLower() + ".png"); } else { //newSubItem.ImageIndex = imageList.Images.IndexOfKey(s.Substring(1, x.Length - 1).ToLower() + ".png"); newSubItem.ImageIndex = 0; // rndImage.Next(imageList.Images.Count); } //if (char.IsUpper(s.Substring(1, s.Length - 1)[0])) // newSubItem.ImageIndex = 0; newSubItem.ToolTipCaption = newSubItem.Text; newSubItem.ToolTipText = s; toolBox1.Nodes[i].Nodes.Add(newSubItem); toolBox1.SelectedNode.Expand(); continue; if (kvp.Key == "Open Close" || kvp.Key == "Math") { continue; } try { string url = "http://frog.isima.fr/cgi-bin/bruno/tex2png--20.cgi?" + @s; HttpWebRequest httpWebRequest = (HttpWebRequest)HttpWebRequest.Create(url); using (HttpWebResponse httpWebReponse = (HttpWebResponse)httpWebRequest.GetResponse()) { using (Stream stream = httpWebReponse.GetResponseStream()) { if (char.IsUpper(s.Substring(1, s.Length - 1)[0])) { Image.FromStream(stream).Save(@"Z:\imgs" + s + "_U.png"); } else { Image.FromStream(stream).Save(@"Z:\imgs" + s + "_L.png"); } } } } catch (System.Exception ex) { } } i++; } }