Mercurial > projects > dwt-mac
view dwt/browser/LocationEvent.d @ 13:f565d3a95c0a
Ported dwt.internal
author | Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> |
---|---|
date | Fri, 22 Aug 2008 16:46:34 +0200 |
parents | 380af2bdd8e5 |
children | d8635bb48c7c |
line wrap: on
line source
/******************************************************************************* * Copyright (c) 2003, 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: * Jacob Carlborg <jacob.carlborg@gmail.com> *******************************************************************************/ module dwt.browser.LocationEvent; import dwt.events.TypedEvent; import dwt.widgets.Widget; import dwt.dwthelper.string; /** * A <code>LocationEvent</code> is sent by a {@link Browser} to * {@link LocationListener}'s when the <code>Browser</code> * navigates to a different URL. This notification typically * occurs when the application navigates to a new location with * {@link Browser#setUrl(String)} or when the user activates a * hyperlink. * * @since 3.0 */ public class LocationEvent : TypedEvent { /** current location */ public String location; /** * A flag indicating whether the location opens in the top frame * or not. */ public bool top; /** * A flag indicating whether the location loading should be allowed. * Setting this field to <code>false</code> will cancel the operation. */ public bool doit; static final long serialVersionUID = 3906644198244299574L; this (Widget w) { super(w); } /** * Returns a String containing a concise, human-readable * description of the receiver. * * @return a String representation of the event */ public String toString () { String String = super.toString(); return String.substring(0, String.length() - 1) // remove trailing '}' + " location=" + location + " top=" + top + " doit=" + doit + "}"; } }