Changeset 9916

Timestamp:

08/29/13 12:04:58 (11 years ago)

Author:

ascheibe

Message:

#2100 added loading of txt files

Location:

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/Dialogs

Files:

• InfoBox.Designer.cs (modified) (2 diffs)
• InfoBox.cs (modified) (1 diff)

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/Dialogs/InfoBox.Designer.cs

@@ -63 +63 @@
       // infoRichTextBox
       // 
-      this.infoRichTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
-            | System.Windows.Forms.AnchorStyles.Left)
+      this.infoRichTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
+            | System.Windows.Forms.AnchorStyles.Left) 
             | System.Windows.Forms.AnchorStyles.Right)));
       this.infoRichTextBox.BackColor = System.Drawing.SystemColors.Control;
@@ -71 +71 @@
       this.infoRichTextBox.Name = "infoRichTextBox";
       this.infoRichTextBox.ReadOnly = true;
+      this.infoRichTextBox.ScrollBars = System.Windows.Forms.RichTextBoxScrollBars.Vertical;
       this.infoRichTextBox.Size = new System.Drawing.Size(612, 441);
       this.infoRichTextBox.TabIndex = 1;

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/Dialogs/InfoBox.cs

@@ -63 +63 @@
     }
 
-    protected virtual void LoadEmbeddedResource(string name) {
+    protected virtual void LoadEmbeddedResource(string resourceName) {
+      string extension = Path.GetExtension(resourceName);
       Assembly assembly = Assembly.GetAssembly(ParentView.GetType());
       try {
-        using (Stream stream = assembly.GetManifestResourceStream(name))
-          infoRichTextBox.LoadFile(stream, RichTextBoxStreamType.RichText);
+        using (Stream stream = assembly.GetManifestResourceStream(resourceName)) {
+          if (extension == ".rtf") {
+            infoRichTextBox.LoadFile(stream, RichTextBoxStreamType.RichText);
+          } else if (extension == ".txt") {
+            infoRichTextBox.LoadFile(stream, RichTextBoxStreamType.UnicodePlainText);
+          } else {
+            infoRichTextBox.Text = "Error: Unsupported help format: " + extension;
+          }
+        }
       }
       catch (Exception ex) {