From a75d50c6c61505f463406c9782edb6d45a7863d3 Mon Sep 17 00:00:00 2001
From: Vadim Lopatin <coolreader.org@gmail.com>
Date: Mon, 19 Jan 2015 11:49:38 +0300
Subject: [PATCH] example1: SourceEdit instead of EditBox

---
 examples/example1/src/main.d | 35 ++++++++++++++++++++---------------
 1 file changed, 20 insertions(+), 15 deletions(-)

diff --git a/examples/example1/src/main.d b/examples/example1/src/main.d
index b39d9a2f..6be39320 100644
--- a/examples/example1/src/main.d
+++ b/examples/example1/src/main.d
@@ -581,28 +581,33 @@ extern (C) int UIAppMain(string[] args) {
 		editLine.popupMenu = editPopupItem;
 
         // EditBox sample
-		editors.addChild(new TextWidget(null, "EditBox: Multiline editor"d));
+		editors.addChild(new TextWidget(null, "SourceEdit: multiline editor, for source code editing"d));
 
-        EditBox editBox = new EditBox("editbox1", "Some text\nSecond line\nYet another line\n\n\tforeach(s;lines);\n\t\twriteln(s);\n"d);
-        editBox.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT);
-        dstring text = editBox.text;
-        for (int i = 0; i < 100; i++) {
-            text ~= "\n Line ";
-            text ~= to!dstring(i + 5);
-            text ~= " Some long long line. Blah blah blah.";
-            for (int j = 0; j <= i % 4; j++)
-                text ~= " The quick brown fox jumps over the lazy dog.";
-        }
-        editBox.text = text;
-        editBox.minFontSize(12).maxFontSize(75); // allow font zoom with Ctrl + MouseWheel
+        SourceEdit editBox = new SourceEdit("editbox1");
+        editBox.text = q{#!/usr/bin/env rdmd
+// Computes average line length for standard input.
+import std.stdio;
+
+void main()
+{
+    ulong lines = 0;
+    double sumLength = 0;
+    foreach (line; stdin.byLine())
+    {
+        ++lines;
+        sumLength += line.length;
+    }
+    writeln("Average line length: ",
+            lines ? sumLength / lines : 0);
+}
+        }d;
         editors.addChild(createEditorSettingsControl(editBox));
 		editors.addChild(editBox);
 		editBox.popupMenu = editPopupItem;
 
 		editors.addChild(new TextWidget(null, "EditBox: additional view for the same content (split view testing)"d));
-        EditBox editBox2 = new EditBox("editbox2", ""d);
+        SourceEdit editBox2 = new SourceEdit("editbox2");
         editBox2.content = editBox.content; // view the same content as first editbox
-        editBox2.minFontSize(12).maxFontSize(75); // allow font zoom with Ctrl + MouseWheel
 		editors.addChild(editBox2);
         editors.layoutHeight(FILL_PARENT).layoutWidth(FILL_PARENT);