class/Gtk.TeamFoundation/SourceView.cs

   1 using System;
   2 using System.Text;
   3 using Gtk;
   4 using GtkSourceView;
   5 using Pango;
   6 using Gnome.Vfs;
   7
   8 namespace Gtk.TeamFoundation
   9 {
  10         public class MyTextViewFactory
  11         {
  12                 static public MyTextView CreateNewTextView()
  13                 {
  14                         SourceLanguage lang = MyTextView.LanguageManager.GetLanguageFromMimeType ("text/x-csharp");
  15                         SourceBuffer buffer = new SourceBuffer(lang);
  16                         buffer.Highlight = true;
  17                         return new MyTextView(buffer);
  18                 }
  19         }
  20
  21         public class MyTextView : SourceView
  22         {
  23                 static public SourceLanguagesManager LanguageManager = new SourceLanguagesManager();
  24                 private SourceBuffer sourceBuffer;
  25
  26                 static MyTextView()
  27                         {
  28                                 Vfs.Initialize();
  29                         }
  30
  31                 public MyTextView(SourceBuffer buffer) : base(buffer)
  32                         {
  33                                 CursorVisible = false;
  34                                 Editable = false;
  35                                 ModifyFont(Pango.FontDescription.FromString("Vera Sans Mono 14"));
  36                                 ShowLineNumbers = true;
  37
  38                                 sourceBuffer = buffer;
  39                         }
  40
  41                 public void Clear()
  42                 {
  43                         Buffer.Text = String.Empty;
  44                 }
  45
  46                 public void Update(string path, string contents)
  47                 {
  48                         string mimeType = Mime.TypeFromNameOrDefault(path, "text/plain");
  49                         //Console.WriteLine("Switching to mimetype: " + mimeType);
  50
  51                         SourceLanguage lang = LanguageManager.GetLanguageFromMimeType (mimeType);
  52
  53                         if (lang != null)
  54                                 {
  55                                         //Console.WriteLine("Switching to language: " + lang.Name);
  56                                         sourceBuffer.Language = lang;
  57                                         sourceBuffer.Highlight = true;
  58                                 }
  59
  60                         Buffer.Text = contents;
  61                 }
  62         }
  63 }