X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;h=f91d8b21dafb56826f3fb4577cb9b4c088587f3d;hb=7ab5d6b0ba5fec1ea4a4239e79c476d841622485;hp=dc5262b86abdef01e68c68ba4cfc9ad1a1f9ab68;hpb=4cea7a0328724b90a6a7c16ae8c926e0cc12cedd;p=jalview.git diff --git a/src/jalview/jbgui/GRestInputParamEditDialog.java b/src/jalview/jbgui/GRestInputParamEditDialog.java index dc5262b..f91d8b2 100644 --- a/src/jalview/jbgui/GRestInputParamEditDialog.java +++ b/src/jalview/jbgui/GRestInputParamEditDialog.java @@ -1,19 +1,22 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8) - * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) + * Copyright (C) 2014 The Jalview Authors * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. + * as published by the Free Software Foundation, either version 3 + * of the License, or (at your option) any later version. * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR * PURPOSE. See the GNU General Public License for more details. * - * You should have received a copy of the GNU General Public License along with Jalview. If not, see . + * You should have received a copy of the GNU General Public License + * along with Jalview. If not, see . + * The Jalview Authors are detailed in the 'AUTHORS' file. */ package jalview.jbgui; @@ -95,16 +98,20 @@ public class GRestInputParamEditDialog optionsPanel = new JPanel(new MigLayout("", "[fill]", "[fill]")); JScrollPane optionView = new JScrollPane(); optionView.setViewportView(options); - JvSwingUtils.mgAddtoLayout(dpane, MessageManager.getString("label.input_parameter_name"), new JLabel( - MessageManager.getString("label.name")), tok, "grow,spanx 3,wrap"); + JvSwingUtils.mgAddtoLayout(dpane, + MessageManager.getString("label.input_parameter_name"), + new JLabel(MessageManager.getString("label.name")), tok, + "grow,spanx 3,wrap"); JPanel paramsType = new JPanel(new MigLayout("", "[grow 100,fill]", "[grow 100,fill]")); - paramsType.setBorder(new TitledBorder(MessageManager.getString("label.select_input_type"))); + paramsType.setBorder(new TitledBorder(MessageManager + .getString("label.select_input_type"))); JScrollPane jlistScroller = new JScrollPane(); jlistScroller.setViewportView(typeList); paramsType.add(jlistScroller, "spanx 2,spany 2"); dpane.add(paramsType); - optionsPanel.setBorder(new TitledBorder(MessageManager.getString("label.set_options_for_type"))); + optionsPanel.setBorder(new TitledBorder(MessageManager + .getString("label.set_options_for_type"))); optionsPanel.add(optionView); dpane.add(optionsPanel, "wrap"); okcancel = new JPanel(new MigLayout("", "[center][center]", "[]"));