protected override void WndProc(ref Message m)
{
base.WndProc(ref m);
if ((m.Msg == (WM_REFLECT | WM_NOTIFY)) || m.Msg == WM_NOTIFY)
{
STRUCT_NMHDR hdr = (STRUCT_NMHDR)(Marshal.PtrToStructure(m.LParam, typeof(STRUCT_NMHDR)));
if (hdr.code == EN_OBJECTPOSITIONS)
{
m.Result = (IntPtr)(-1);
}
if (hdr.code == EN_REQUESTRESIZE)
{
STRUCT_REQRESIZE rrs = (STRUCT_REQRESIZE)(Marshal.PtrToStructure(m.LParam, typeof(STRUCT_REQRESIZE)));
Control from = Control.FromHandle(rrs.nmhdr.hwndFrom);
if (from == null)
{
return;
}
if (!(from is RichTextBox2))
{
return;
}
RichTextBox2 rtb2 = (RichTextBox2)from;
rtb2.native_rect = new Size(rrs.rc.right - rrs.rc.left, rrs.rc.bottom - rrs.rc.top);
}
}
}
public void RenderRTF(RichTextBox2 rtf, int x, int y, int w, int h)
{
/*
* obviously doesn't handle
* RTFs with nontrivial formatting: more than one style. The correct solution
* is to parse out the RTF into... into what?
* And finally, we just output the local "true" name of each font, when we should
* really be translating it into the names officially supported.
*/
Font font = rtf.GetCurrentFont();
int ch = font.Height;
string[] lines = rtf.Lines;
int lmax = 0;
foreach (string line in lines)
{
if (line.Length > lmax)
{
lmax = line.Length;
}
}
int linenum = 1;
o.WriteLine(string.Format("<text text-anchor=\"middle\" x=\"{0}\" y=\"{1}\">",
x + MAGICAL_TEXT_NOODLER + offset.X + w / 2,
y - MAGICAL_TEXT_NOODLER + offset.Y));
foreach (string line in lines)
{
String l = string.Format("<tspan x=\"{0}\" dy=\"1em\" style=\"{1}\">{2}</tspan>",
x + MAGICAL_TEXT_NOODLER + offset.X + w / 2, FontToString(font, rtf.GetCurrentColor()),
System.Security.SecurityElement.Escape(line));
o.WriteLine(l);
linenum++;
}
o.WriteLine("</text>");
}
public void RenderRTF(RichTextBox2 rtf, int x, int y, int w, int h)
{
/*
obviously doesn't handle
* RTFs with nontrivial formatting: more than one style. The correct solution
* is to parse out the RTF into... into what?
* And finally, we just output the local "true" name of each font, when we should
* really be translating it into the names officially supported.
*/
Font font = rtf.GetCurrentFont();
int ch = font.Height;
string[] lines = rtf.Lines;
int lmax = 0;
foreach (string line in lines)
{
if (line.Length > lmax)
lmax = line.Length;
}
int linenum = 1;
o.WriteLine(string.Format("<text text-anchor=\"middle\" x=\"{0}\" y=\"{1}\">",
x + MAGICAL_TEXT_NOODLER + offset.X + w / 2,
y - MAGICAL_TEXT_NOODLER + offset.Y));
foreach (string line in lines)
{
String l = string.Format("<tspan x=\"{0}\" dy=\"1em\" style=\"{1}\">{2}</tspan>",
x + MAGICAL_TEXT_NOODLER + offset.X + w / 2, FontToString(font, rtf.GetCurrentColor()),
System.Security.SecurityElement.Escape(line));
o.WriteLine(l);
linenum++;
}
o.WriteLine("</text>");
}
public void RenderRTF(RichTextBox2 rtf, int x, int y, int w, int h)
{
// The RTFToGraphics routine, based on EM_FORMATRANGE,
// ignores the CLR-only transformation, so we have to factor it in manually here
rtf.RTFToGraphics(g, x + m_transform.Width, y + m_transform.Height, w, h);
}
private Size EstimateSpace(RichTextBox2 c)
{
/*So. The original plan was just to use GetPreferredSize,
* which, initially, seemed to correctly output the size
* of the content of an RTF control. Little did I know.
* In fact it only works correctly with the default font
* size. So it was necessary to spent a few days figuring
* shit out and eventually I wound up with the tepid
* ugliness in RichTextBox2, which culminates in this
* function: GetCleverSize.
return c.GetPreferredSize(Size.Empty);
*
*/
return c.GetCleverSize();
}
public void RenderRTF(RichTextBox2 rtf, int x, int y, int w, int h)
{
// The RTFToGraphics routine, based on EM_FORMATRANGE,
// ignores the CLR-only transformation, so we have to factor it in manually here
rtf.RTFToGraphics(g, x + m_transform.Width, y + m_transform.Height, w, h);
}
private void InitializeComponent()
{
this.tableLayoutPanel = new System.Windows.Forms.TableLayoutPanel();
this.labelEditGroupBox = new System.Windows.Forms.GroupBox();
this.labelEditRichEditBox = new Tree.RichTextBox2();
this.lexEditGroupBox = new System.Windows.Forms.GroupBox();
this.triangleCheckBox = new System.Windows.Forms.CheckBox();
this.lexEditRichEditBox = new Tree.RichTextBox2();
this.nodeOperationsGroupBox = new System.Windows.Forms.GroupBox();
this.nodeToolStrip = new System.Windows.Forms.ToolStrip();
this.createChildButton = new System.Windows.Forms.ToolStripButton();
this.createParentButton = new System.Windows.Forms.ToolStripButton();
this.deleteButton = new System.Windows.Forms.ToolStripButton();
this.traceGroupBox = new System.Windows.Forms.GroupBox();
this.tracePane = new Tree.TracePane();
this.tableLayoutPanel.SuspendLayout();
this.labelEditGroupBox.SuspendLayout();
this.lexEditGroupBox.SuspendLayout();
this.nodeOperationsGroupBox.SuspendLayout();
this.nodeToolStrip.SuspendLayout();
this.traceGroupBox.SuspendLayout();
this.SuspendLayout();
//
// tableLayoutPanel
//
this.tableLayoutPanel.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 20F));
this.tableLayoutPanel.Controls.Add(this.labelEditGroupBox, 0, 0);
this.tableLayoutPanel.Controls.Add(this.lexEditGroupBox, 0, 1);
this.tableLayoutPanel.Controls.Add(this.nodeOperationsGroupBox, 0, 2);
this.tableLayoutPanel.Controls.Add(this.traceGroupBox, 0, 3);
this.tableLayoutPanel.Dock = System.Windows.Forms.DockStyle.Fill;
this.tableLayoutPanel.Location = new System.Drawing.Point(0, 0);
this.tableLayoutPanel.Name = "tableLayoutPanel";
this.tableLayoutPanel.RowCount = 4;
this.tableLayoutPanel.RowStyles.Add(new System.Windows.Forms.RowStyle());
this.tableLayoutPanel.RowStyles.Add(new System.Windows.Forms.RowStyle());
this.tableLayoutPanel.RowStyles.Add(new System.Windows.Forms.RowStyle());
this.tableLayoutPanel.RowStyles.Add(new System.Windows.Forms.RowStyle());
this.tableLayoutPanel.Size = new System.Drawing.Size(183, 551);
this.tableLayoutPanel.TabIndex = 0;
this.tableLayoutPanel.Layout += new System.Windows.Forms.LayoutEventHandler(this.tableLayoutPanel1_Layout);
//
// labelEditGroupBox
//
this.labelEditGroupBox.Controls.Add(this.labelEditRichEditBox);
this.labelEditGroupBox.Location = new System.Drawing.Point(3, 3);
this.labelEditGroupBox.Name = "labelEditGroupBox";
this.labelEditGroupBox.Size = new System.Drawing.Size(175, 65);
this.labelEditGroupBox.TabIndex = 1;
this.labelEditGroupBox.TabStop = false;
this.labelEditGroupBox.Text = "Label";
//
// labelEditRichEditBox
//
this.labelEditRichEditBox.Bold = Tree.Ternary.No;
this.labelEditRichEditBox.DetectUrls = false;
this.labelEditRichEditBox.Dock = System.Windows.Forms.DockStyle.Fill;
this.labelEditRichEditBox.Italic = Tree.Ternary.No;
this.labelEditRichEditBox.Location = new System.Drawing.Point(3, 18);
this.labelEditRichEditBox.MaxLength = 1024;
this.labelEditRichEditBox.Name = "labelEditRichEditBox";
this.labelEditRichEditBox.ScrollBars = System.Windows.Forms.RichTextBoxScrollBars.None;
this.labelEditRichEditBox.Size = new System.Drawing.Size(169, 44);
this.labelEditRichEditBox.Subscript = Tree.Ternary.No;
this.labelEditRichEditBox.Superscript = Tree.Ternary.No;
this.labelEditRichEditBox.TabIndex = 0;
this.labelEditRichEditBox.Text = "";
this.labelEditRichEditBox.Underline = Tree.Ternary.No;
this.labelEditRichEditBox.WordWrap = false;
this.labelEditRichEditBox.SelectionChanged += new System.EventHandler(this.labelEditRichEditBox_SelectionChanged);
this.labelEditRichEditBox.TextChanged += new System.EventHandler(this.labelEditRichEditBox_TextChanged);
//
// lexEditGroupBox
//
this.lexEditGroupBox.Controls.Add(this.triangleCheckBox);
this.lexEditGroupBox.Controls.Add(this.lexEditRichEditBox);
this.lexEditGroupBox.Location = new System.Drawing.Point(3, 74);
this.lexEditGroupBox.Name = "lexEditGroupBox";
this.lexEditGroupBox.Size = new System.Drawing.Size(175, 64);
this.lexEditGroupBox.TabIndex = 2;
this.lexEditGroupBox.TabStop = false;
this.lexEditGroupBox.Text = "Lexical item";
//
// triangleCheckBox
//
this.triangleCheckBox.Appearance = System.Windows.Forms.Appearance.Button;
this.triangleCheckBox.Dock = System.Windows.Forms.DockStyle.Right;
this.triangleCheckBox.FlatStyle = System.Windows.Forms.FlatStyle.System;
this.triangleCheckBox.Location = new System.Drawing.Point(145, 18);
this.triangleCheckBox.Name = "triangleCheckBox";
this.triangleCheckBox.Size = new System.Drawing.Size(27, 43);
this.triangleCheckBox.TabIndex = 1;
this.triangleCheckBox.Text = "/\\";
this.triangleCheckBox.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
this.triangleCheckBox.UseVisualStyleBackColor = true;
this.triangleCheckBox.CheckedChanged += new System.EventHandler(this.triangleCheckBox_CheckedChanged);
//
// lexEditRichEditBox
//
this.lexEditRichEditBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.lexEditRichEditBox.Bold = Tree.Ternary.No;
this.lexEditRichEditBox.DetectUrls = false;
this.lexEditRichEditBox.ForeColor = System.Drawing.SystemColors.WindowText;
this.lexEditRichEditBox.Italic = Tree.Ternary.No;
this.lexEditRichEditBox.Location = new System.Drawing.Point(3, 18);
this.lexEditRichEditBox.MaxLength = 1024;
this.lexEditRichEditBox.Name = "lexEditRichEditBox";
this.lexEditRichEditBox.ScrollBars = System.Windows.Forms.RichTextBoxScrollBars.None;
this.lexEditRichEditBox.Size = new System.Drawing.Size(136, 40);
this.lexEditRichEditBox.Subscript = Tree.Ternary.No;
this.lexEditRichEditBox.Superscript = Tree.Ternary.No;
this.lexEditRichEditBox.TabIndex = 0;
this.lexEditRichEditBox.Text = "";
this.lexEditRichEditBox.Underline = Tree.Ternary.No;
this.lexEditRichEditBox.WordWrap = false;
this.lexEditRichEditBox.SelectionChanged += new System.EventHandler(this.lexEditRichEditBox_SelectionChanged);
this.lexEditRichEditBox.TextChanged += new System.EventHandler(this.lexEditRichEditBox_TextChanged);
//
// nodeOperationsGroupBox
//
this.nodeOperationsGroupBox.Controls.Add(this.nodeToolStrip);
this.nodeOperationsGroupBox.Location = new System.Drawing.Point(3, 144);
this.nodeOperationsGroupBox.Name = "nodeOperationsGroupBox";
this.nodeOperationsGroupBox.Size = new System.Drawing.Size(175, 53);
this.nodeOperationsGroupBox.TabIndex = 4;
this.nodeOperationsGroupBox.TabStop = false;
this.nodeOperationsGroupBox.Text = "Node";
//
// nodeToolStrip
//
this.nodeToolStrip.CanOverflow = false;
this.nodeToolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
this.nodeToolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.createChildButton,
this.createParentButton,
this.deleteButton
});
this.nodeToolStrip.LayoutStyle = System.Windows.Forms.ToolStripLayoutStyle.Flow;
this.nodeToolStrip.Location = new System.Drawing.Point(3, 16);
this.nodeToolStrip.Name = "nodeToolStrip";
this.nodeToolStrip.RenderMode = System.Windows.Forms.ToolStripRenderMode.System;
this.nodeToolStrip.Size = new System.Drawing.Size(169, 31);
this.nodeToolStrip.Stretch = true;
this.nodeToolStrip.TabIndex = 3;
//
// createChildButton
//
this.createChildButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.createChildButton.Image = global::Tree.Properties.Resources.nodeInsertChild;
this.createChildButton.ImageScaling = System.Windows.Forms.ToolStripItemImageScaling.None;
this.createChildButton.ImageTransparentColor = System.Drawing.Color.Magenta;
this.createChildButton.Name = "createChildButton";
this.createChildButton.Size = new System.Drawing.Size(28, 28);
this.createChildButton.ToolTipText = "Insert child";
this.createChildButton.Click += new System.EventHandler(this.createChildButton_Click);
//
// createParentButton
//
this.createParentButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.createParentButton.Image = global::Tree.Properties.Resources.nodeInsertParent;
this.createParentButton.ImageScaling = System.Windows.Forms.ToolStripItemImageScaling.None;
this.createParentButton.ImageTransparentColor = System.Drawing.Color.Magenta;
this.createParentButton.Name = "createParentButton";
this.createParentButton.Size = new System.Drawing.Size(28, 28);
this.createParentButton.ToolTipText = "Insert parent";
this.createParentButton.Click += new System.EventHandler(this.createParentButton_Click);
//
// deleteButton
//
this.deleteButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.deleteButton.Image = global::Tree.Properties.Resources.nodeDelete;
this.deleteButton.ImageScaling = System.Windows.Forms.ToolStripItemImageScaling.None;
this.deleteButton.ImageTransparentColor = System.Drawing.Color.Magenta;
this.deleteButton.Name = "deleteButton";
this.deleteButton.Size = new System.Drawing.Size(28, 28);
this.deleteButton.ToolTipText = "Delete node";
this.deleteButton.Click += new System.EventHandler(this.deleteButton_Click);
//
// traceGroupBox
//
this.traceGroupBox.Controls.Add(this.tracePane);
this.traceGroupBox.Location = new System.Drawing.Point(3, 203);
this.traceGroupBox.Name = "traceGroupBox";
this.traceGroupBox.Size = new System.Drawing.Size(175, 100);
this.traceGroupBox.TabIndex = 5;
this.traceGroupBox.TabStop = false;
this.traceGroupBox.Text = "Traces";
//
// tracePane
//
this.tracePane.Dock = System.Windows.Forms.DockStyle.Fill;
this.tracePane.Location = new System.Drawing.Point(3, 18);
this.tracePane.Margin = new System.Windows.Forms.Padding(2, 2, 2, 2);
this.tracePane.Name = "tracePane";
this.tracePane.Size = new System.Drawing.Size(169, 79);
this.tracePane.TabIndex = 0;
this.tracePane.OnTraceModified += new System.EventHandler(this.tracePane_OnTraceModified);
//
// NodeEditor
//
this.Controls.Add(this.tableLayoutPanel);
this.Name = "NodeEditor";
this.Size = new System.Drawing.Size(183, 551);
this.tableLayoutPanel.ResumeLayout(false);
this.labelEditGroupBox.ResumeLayout(false);
this.lexEditGroupBox.ResumeLayout(false);
this.nodeOperationsGroupBox.ResumeLayout(false);
this.nodeOperationsGroupBox.PerformLayout();
this.nodeToolStrip.ResumeLayout(false);
this.nodeToolStrip.PerformLayout();
this.traceGroupBox.ResumeLayout(false);
this.ResumeLayout(false);
}