Author: mkrueger
Date: 2008-02-11 15:36:14 -0500 (Mon, 11 Feb 2008)
New Revision: 95464
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorOptions.cs
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs
Log:
* MonoDevelop.SourceEditor/SourceEditorView.cs,
MonoDevelop.SourceEditor/SourceEditorOptions.cs: Some changes for
the text editor.
Modified: trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
===================================================================
--- trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
2008-02-11 20:35:32 UTC (rev 95463)
+++ trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
2008-02-11 20:36:14 UTC (rev 95464)
@@ -1,5 +1,11 @@
2008-02-11 Mike Krüger <[EMAIL PROTECTED]>
+ * MonoDevelop.SourceEditor/SourceEditorView.cs,
+ MonoDevelop.SourceEditor/SourceEditorOptions.cs: Some changes for the
+ text editor.
+
+2008-02-11 Mike Krüger <[EMAIL PROTECTED]>
+
* MonoDevelop.SourceEditor/ExtendibleTextEditor.cs,
MonoDevelop.SourceEditor/SourceEditorView.cs: Optimized/Refactored the
text editor.
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorOptions.cs
===================================================================
---
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorOptions.cs
2008-02-11 20:35:32 UTC (rev 95463)
+++
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorOptions.cs
2008-02-11 20:36:14 UTC (rev 95464)
@@ -348,7 +348,7 @@
}
}
- public string ColorSheme {
+ public override string ColorSheme {
get {
return PropertyService.Get ("ColorSheme",
"Default");
}
@@ -360,11 +360,6 @@
}
}
- public override Mono.TextEditor.Highlighting.Style
GetColorStyle (Gtk.Widget widget)
- {
- return
Mono.TextEditor.Highlighting.SyntaxModeService.GetColorStyle (widget,
ColorSheme);
- }
-
public override FontDescription Font {
get {
switch (EditorFontType) {
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs
===================================================================
---
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs
2008-02-11 20:35:32 UTC (rev 95463)
+++
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs
2008-02-11 20:36:14 UTC (rev 95464)
@@ -172,7 +172,8 @@
public override void Dispose()
{
- this.isDisposed = true;
+ this.isDisposed= true;
+ widget.Destroy ();
}
public IParserContext GetParserContext ()
@@ -525,7 +526,6 @@
DocumentLocation loc = Document.OffsetToLocation
(triggerOffset);
result.TriggerLine = loc.Line;
result.TriggerLineOffset = loc.Column;
- System.Console.WriteLine(loc + " --- " + triggerOffset
+ " --- " + Document.Buffer.Length);
Gdk.Point p =
this.widget.TextEditor.DocumentToVisualLocation (loc);
int tx, ty;
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches
