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                         this.ctrl = ctrl;
  26                         Gtk.Application.Invoke( delegate {
  27                                 this.messages = new MessagesPanel();
  28                                 this.buffer = messages.Buffer;
  29
  30                                 this.Build();
  31                                 this.textWindow.Add(messages);
  32                                 this.channelsNb.SwitchPage += PageSwitched;
  33
  34                         });
  35                         MainWindow.CurrentServerPanel = this;
  36                 }
  37
  38                 internal Notebook Pages {
  39                         get {
  40                                 return this.channelsNb;
  41                         }
  42                 }
  43
  44                 void PageSwitched(object sender, SwitchPageArgs e)
  45                 {
  46                         MainWindow.CurrentChannelPanel = this.channelsNb.GetNthPage((int)e.PageNum) as ChannelPanel;
  47                 }
  48
  49                 /*public int CurrentPage {
  50                         get {
  51                                 return this.channelsNb.CurrentPage;
  52                         }
  53                         set {
  54                                 this.channelsNb.CurrentPage = value;
  55                         }
  56                 }
  57
  58                 public Widget CurrentPageWidget {
  59                         get {
  60                                 return this.channelsNb.CurrentPageWidget;
  61                         }
  62                 }
  63
  64                 public Widget GetMenuWidget(Widget widg)
  65                 {
  66                         return this.channelsNb.GetMenuLabel(widg);
  67                 }
  68
  69                 public int NPages {
  70                         get {
  71                                 return this.channelsNb.NPages;
  72                         }
  73                 }
  74
  75                 public void NextPage()
  76                 {
  77                         this.channelsNb.NextPage();
  78                 }*/
  79         }
  80 }