public static SourceEditorBuffer CreateTextBufferFromFile(string filename)
        {
            SourceEditorBuffer buff = new SourceEditorBuffer();

            buff.LoadFile(filename);
            // don't return a buffer that couldn't load the file
            if (buff.Text == null)
            {
                return(null);
            }
            else
            {
                return(buff);
            }
        }
		public static SourceEditorBuffer CreateTextBufferFromFile (string filename)
		{
			SourceEditorBuffer buff = new SourceEditorBuffer ();
			buff.LoadFile (filename);
			// don't return a buffer that couldn't load the file
			if (buff.Text == null) {
				return null;
			} else {
				return buff;
			}
		}