Circ.Frontend.GtkSharp/ServerPanel.cs

   1 #region License
   2 /* Circ.Frontend.GtkSharp : GTK# frontend for Circ
   3  * Copyright (C) 2007  LAVAL Jérémie
   4  *
   5  * This file is licensed under the terms of the LGPL.
   6  *
   7  * For the complete licence see the file COPYING.
   8  */
   9 #endregion
  10 using System;
  11 using Gtk;
  12 using Circ.Frontend;
  13 using Circ.Controller;
  14
  15 namespace Circ.Frontend.GtkSharp
  16 {
  17         public partial class ServerPanel : Gtk.Bin
  18         {
  19                 IConnectionControl ctrl;
  20                 MessagesPanel messages;
  21                 TextBuffer    buffer;
  22
  23                 public ServerPanel(IConnectionControl ctrl): base()
  24                 {
  25                         Gtk.Application.Invoke( delegate {
  26                                 this.ctrl = ctrl;
  27                                 this.messages = new MessagesPanel();
  28                                 this.buffer = messages.Buffer;
  29
  30                                 this.Build();
  31                                 this.textWindow.Add(messages);
  32                         });
  33                 }
  34
  35                 public int CurrentPage {
  36                         get {
  37                                 return this.channelsNb.CurrentPage;
  38                         }
  39                         set {
  40                                 this.channelsNb.CurrentPage = value;
  41                         }
  42                 }
  43
  44                 public Widget CurrentPageWidget {
  45                         get {
  46                                 return this.channelsNb.CurrentPageWidget;
  47                         }
  48                 }
  49
  50                 public Widget GetMenuWidget(Widget widg)
  51                 {
  52                         return this.channelsNb.GetMenuLabel(widg);
  53                 }
  54
  55                 public int NPages {
  56                         get {
  57                                 return this.channelsNb.NPages;
  58                         }
  59                 }
  60
  61                 public void NextPage()
  62                 {
  63                         this.channelsNb.NextPage();
  64                 }
  65         }
  66 }