-/*******************************************************************************\r
- * Copyright (c) 2011 Association for Decentralized Information Management in\r
- * Industry THTH ry.\r
- * All rights reserved. This program and the accompanying materials\r
- * are made available under the terms of the Eclipse Public License v1.0\r
- * which accompanies this distribution, and is available at\r
- * http://www.eclipse.org/legal/epl-v10.html\r
- *\r
- * Contributors:\r
- * VTT Technical Research Centre of Finland - initial API and implementation\r
- *******************************************************************************/\r
-package org.simantics;\r
-\r
-\r
-/**\r
- * @author Tuukka Lehtonen\r
- */\r
-public interface PlatformUserAgent {\r
-\r
- /**\r
- * @param title\r
- * @param message\r
- * @param options\r
- * @param defaultChoice\r
- * @return index into the options argument to describe the selection made by\r
- * the user or -1 if prompt is closed by other means\r
- */\r
- int showPrompt(String title, String message, String[] options, int defaultChoice);\r
-\r
-}\r
+/*******************************************************************************
+ * Copyright (c) 2011 Association for Decentralized Information Management in
+ * Industry THTH ry.
+ * 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:
+ * VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics;
+
+
+/**
+ * @author Tuukka Lehtonen
+ */
+public interface PlatformUserAgent {
+
+ /**
+ * @param title
+ * @param message
+ * @param options
+ * @param defaultChoice
+ * @return index into the options argument to describe the selection made by
+ * the user or -1 if prompt is closed by other means
+ */
+ int showPrompt(String title, String message, String[] options, int defaultChoice);
+
+}