diff snippets/styledtext/Snippet222.d @ 155:04d05db6dca4

styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
author yidabu <yidabu@gmail.com>
date Fri, 22 Aug 2008 07:27:56 +0800
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/snippets/styledtext/Snippet222.d	Fri Aug 22 07:27:56 2008 +0800
@@ -0,0 +1,113 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2004 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ * Port to the D programming language:
+ *     yidabu at gmail dot com  ( D China http://www.d-programming-language-china.org/ )
+ *******************************************************************************/
+
+module styledtext.Snippet222;
+/*
+ * example snippet: StyledText bulleted list example
+ *
+ * For a list of all SWT example snippets see
+ * http://www.eclipse.org/swt/snippets/
+ *
+ * @since 3.2
+ */
+
+import dwt.DWT;
+import dwt.custom.StyledText;
+import dwt.custom.StyleRange;
+import dwt.custom.PaintObjectEvent;
+import dwt.custom.PaintObjectListener;
+import dwt.custom.Bullet;
+import dwt.custom.ST;
+import dwt.layout.GridData;
+import dwt.layout.FillLayout;
+import dwt.widgets.Display;
+import dwt.widgets.Shell;
+import dwt.widgets.Button;
+import dwt.widgets.Event;
+import dwt.widgets.Listener;
+import dwt.graphics.FontData;
+import dwt.graphics.Font;
+import dwt.graphics.TextLayout;
+import dwt.graphics.GlyphMetrics;
+import tango.text.Text;
+alias Text!(char) StringBuffer;
+import tango.util.Convert;
+
+import dwt.dwthelper.utils;
+version(JIVE){
+    import jive.stacktrace;
+}
+
+void main() {
+    Display display = new Display();
+    Shell shell = new Shell(display);
+    shell.setText("StyledText Bullet Example");
+    shell.setLayout(new FillLayout());
+    StyledText styledText = new StyledText (shell, DWT.FULL_SELECTION | DWT.BORDER | DWT.WRAP | DWT.V_SCROLL);
+    StringBuffer text = new StringBuffer();
+    text.append("Here is StyledText with some bulleted lists:\n\n");
+    for (int i = 0; i < 4; i++) text.append("Red Bullet List Item " ~ to!(char[])(i) ~ "\n");
+    text.append("\n");
+    for (int i = 0; i < 2; i++) text.append("Numbered List Item " ~ to!(char[])(i) ~ "\n");
+    for (int i = 0; i < 4; i++) text.append("Sub List Item " ~ to!(char[])(i) ~ "\n");
+    for (int i = 0; i < 2; i++) text.append("Numbered List Item " ~ to!(char[])(2+i) ~ "\n");
+    text.append("\n");
+    for (int i = 0; i < 4; i++) text.append("Custom Draw List Item " ~ to!(char[])(i) ~ "\n");
+    styledText.setText(text.toString());
+
+    StyleRange style0 = new StyleRange();
+    style0.metrics = new GlyphMetrics(0, 0, 40);
+    style0.foreground = display.getSystemColor(DWT.COLOR_RED);
+    Bullet bullet0 = new Bullet (style0);
+    StyleRange style1 = new StyleRange();
+    style1.metrics = new GlyphMetrics(0, 0, 50);
+    style1.foreground = display.getSystemColor(DWT.COLOR_BLUE);
+    Bullet bullet1 = new Bullet (ST.BULLET_NUMBER | ST.BULLET_TEXT, style1);
+    bullet1.text = ".";
+    StyleRange style2 = new StyleRange();
+    style2.metrics = new GlyphMetrics(0, 0, 80);
+    style2.foreground = display.getSystemColor(DWT.COLOR_GREEN);
+    Bullet bullet2 = new Bullet (ST.BULLET_TEXT, style2);
+    bullet2.text = "\u2713";
+    StyleRange style3 = new StyleRange();
+    style3.metrics = new GlyphMetrics(0, 0, 50);
+    Bullet bullet3 = new Bullet (ST.BULLET_CUSTOM, style2);
+
+    styledText.setLineBullet(2, 4, bullet0);
+    styledText.setLineBullet(7, 2, bullet1);
+    styledText.setLineBullet(9, 4, bullet2);
+    styledText.setLineBullet(13, 2, bullet1);
+    styledText.setLineBullet(16, 4, bullet3);
+
+    styledText.addPaintObjectListener(new class() PaintObjectListener {
+        public void paintObject(PaintObjectEvent event) {
+            Display display = event.display;
+            StyleRange style = event.style;
+            Font font = style.font;
+            if (font is null) font = styledText.getFont();
+            TextLayout layout = new TextLayout(display);
+            layout.setAscent(event.ascent);
+            layout.setDescent(event.descent);
+            layout.setFont(font);
+            layout.setText("\u2023 1." ~ to!(char[])( event.bulletIndex) ~ ")");
+            layout.draw(event.gc, event.x + 10, event.y);
+            layout.dispose();
+        }
+    });
+    shell.open();
+    while (!shell.isDisposed()) {
+        if (!display.readAndDispatch()) display.sleep();
+    }
+    display.dispose ();
+}
+