Mercurial > projects > dwt-samples
diff snippets/styledtext/Snippet244.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/Snippet244.d Fri Aug 22 07:27:56 2008 +0800 @@ -0,0 +1,68 @@ +/******************************************************************************* + * 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.Snippet244; +/* + * StyledText snippet: Draw a box around text. + * + * For a list of all SWT example snippets see + * http://www.eclipse.org/swt/snippets/ + */ + +import dwt.DWT; +import dwt.custom.StyledText; +import dwt.custom.StyleRange; +import dwt.layout.FillLayout; +import dwt.widgets.Display; +import dwt.widgets.Shell; +import dwt.widgets.Listener; +import dwt.widgets.Event; +import dwt.graphics.Color; +import dwt.graphics.Point; + +import dwt.dwthelper.utils; +version(JIVE){ + import jive.stacktrace; +} + +void main() { + static String SEARCH_STRING = "box"; + Display display = new Display(); + Color RED = display.getSystemColor(DWT.COLOR_RED); + Shell shell = new Shell(display); + shell.setBounds(10,10,250,250); + StyledText text = new StyledText(shell, DWT.NONE); + text.setBounds(10,10,200,200); + + void onPaint(Event event) { + String contents = text.getText(); + int stringWidth = event.gc.stringExtent(SEARCH_STRING).x; + int lineHeight = text.getLineHeight(); + event.gc.setForeground(RED); + int index = contents.indexOf(SEARCH_STRING); + while (index != -1) { + Point topLeft = text.getLocationAtOffset(index); + event.gc.drawRectangle(topLeft.x - 1, topLeft.y, stringWidth + 1, lineHeight - 1); + index = contents.indexOf(SEARCH_STRING, index + 1); + } + } + + text.addListener(DWT.Paint, dgListener(&onPaint)); + + text.setText("This demonstrates drawing a box\naround every occurrence of the word\nbox in the StyledText"); + shell.open(); + while (!shell.isDisposed()) { + if (!display.readAndDispatch()) display.sleep(); + } + display.dispose(); +}