private void OnRefresh (HitRenderer signaller) { string str; str = "<b>" + name + "</b>"; if (renderer.TotalCount > 0) { str += " -- " + renderer.TotalCount + " match"; if (renderer.TotalCount > 1) str += "es"; } nameLabel.Markup = str; str = ""; if (renderer.DisplayedCount > 1) { str = String.Format ("{0} - {1} displayed", renderer.FirstDisplayed + 1, renderer.LastDisplayed + 1); if (renderer.LastDisplayed + 1 < renderer.TotalCount) { prevButton.Show (); nextButton.Show (); } } displayedLabel.Text = str; prevButton.Sensitive = (renderer.FirstDisplayed > 0); nextButton.Sensitive = (renderer.LastDisplayed + 1 < renderer.TotalCount && renderer.TotalCount > 0); }
private void OnRefresh(HitRenderer signaller) { string str; str = "<b>" + name + "</b>"; if (renderer.TotalCount > 0) { str += " -- " + renderer.TotalCount + " match"; if (renderer.TotalCount > 1) { str += "es"; } } nameLabel.Markup = str; str = ""; if (renderer.DisplayedCount > 1) { str = String.Format("{0} - {1} displayed", renderer.FirstDisplayed + 1, renderer.LastDisplayed + 1); if (renderer.LastDisplayed + 1 < renderer.TotalCount) { prevButton.Show(); nextButton.Show(); } } displayedLabel.Text = str; prevButton.Sensitive = (renderer.FirstDisplayed > 0); nextButton.Sensitive = (renderer.LastDisplayed + 1 < renderer.TotalCount && renderer.TotalCount > 0); }
public HitRendererControl(string _name, string icon, HitRenderer r) : base(false, 3) { name = _name; renderer = r; renderer.RefreshEvent += new HitRenderer.RefreshHandler(OnRefresh); if (icon != null) { Gtk.Widget iconW = DataBarn.GetImageWidget(icon); if (iconW != null) { this.PackStart(iconW, false, false, 3); iconW.Show(); } } nameLabel = new Gtk.Label(""); this.PackStart(nameLabel, false, false, 3); nameLabel.Show(); nextButton = new Gtk.Button("Next"); nextButton.Clicked += new EventHandler(OnNextClicked); this.PackEnd(nextButton, false, false, 3); displayedLabel = new Gtk.Label(""); this.PackEnd(displayedLabel, false, false, 3); displayedLabel.Show(); prevButton = new Gtk.Button("Prev"); prevButton.Clicked += new EventHandler(OnPrevClicked); this.PackEnd(prevButton, false, false, 3); // Initialize things OnRefresh(null); }
public HitRendererControl (string _name, string icon, HitRenderer r) : base (false, 3) { name = _name; renderer = r; renderer.RefreshEvent += new HitRenderer.RefreshHandler (OnRefresh); if (icon != null) { Gtk.Widget iconW = DataBarn.GetImageWidget (icon); if (iconW != null) { this.PackStart (iconW, false, false, 3); iconW.Show (); } } nameLabel = new Gtk.Label (""); this.PackStart (nameLabel, false, false, 3); nameLabel.Show (); nextButton = new Gtk.Button ("Next"); nextButton.Clicked += new EventHandler (OnNextClicked); this.PackEnd (nextButton, false, false, 3); displayedLabel = new Gtk.Label (""); this.PackEnd (displayedLabel, false, false, 3); displayedLabel.Show (); prevButton = new Gtk.Button ("Prev"); prevButton.Clicked += new EventHandler (OnPrevClicked); this.PackEnd (prevButton, false, false, 3); // Initialize things OnRefresh (null); }