예제 #1
0
 private void SelectEntry(SearchResultEntry entry, bool showSolution)
 {
     foreach (SearchResultEntry entry2 in this.gpgPanelResults.Controls)
     {
         entry2.Unselect();
     }
     entry.Select();
     this.mSelectedEntry = entry;
     LinkedListNode<SearchResultEntry> node = this.EntryList.Find(entry);
     this.skinButtonLast.Enabled = node.Previous != null;
     this.skinButtonNext.Enabled = node.Next != null;
     this.gpgPanelResults.ScrollControlIntoView(this.SelectedEntry);
     if (showSolution)
     {
         base.MainForm.ShowDlgSolution(this.SelectedEntry.Solution);
     }
 }
예제 #2
0
 public void RefreshResults()
 {
     EventHandler handler = null;
     if (this.ResultSet != null)
     {
         int num;
         this.gpgLabelResults.Text = string.Format(Loc.Get("<LOC>{0} results found"), this.ResultSet.Length);
         this.EntryList.Clear();
         this.listBoxKeywords.DataSource = null;
         this.listBoxKeywords.DataSource = this.ResultSet[0].SearchWords;
         this.listBoxKeywords.SelectedIndices.Clear();
         for (num = 0; num < this.listBoxKeywords.Items.Count; num++)
         {
             this.listBoxKeywords.SelectedIndices.Add(num);
         }
         this.gpgPanelResults.Controls.Clear();
         for (num = 0; num < this.ResultSet.Length; num++)
         {
             SearchResultEntry entry = new SearchResultEntry(this.ResultSet[num]);
             entry.Width = this.gpgPanelResults.Width;
             entry.Anchor = AnchorStyles.Right | AnchorStyles.Left | AnchorStyles.Top;
             entry.Location = new Point(0, num * entry.Height);
             this.EntryList.AddLast(entry);
             if (handler == null)
             {
                 handler = delegate (object s, EventArgs me) {
                     this.SelectEntry(s as SearchResultEntry, true);
                 };
             }
             entry.SolutionSelected += handler;
             this.gpgPanelResults.Controls.Add(entry);
         }
     }
 }