Package gri.gui.widgets.options

Examples of gri.gui.widgets.options.Option

75
76
77
78
79
80
81
  public void addTask(JobManager jobManager, String taskId) {
    TaskDescription desc = jobManager.getTaskDescription(taskId);
    String displayName = desc.getName();

    TaskInfo info = new TaskInfo(jobManager, taskId, desc);
    addOption(new Option(displayName, info));
  }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
 
  List entries = managers.getJobManagerEntries();
  JobManagerEntry entry;
  for (int i=0; i<entries.size(); i++) {
      entry = (JobManagerEntry)entries.get(i);
      cboManagers.addOption(new Option(entry.getDisplayName(), entry));
  }
 
  cboManagers.addWidgetListener(new ManagerSelectListener());
 
  add(cboManagers.getDisplayComponent(), BorderLayout.NORTH);
View Full Code Here
TOP

Related Classes of gri.gui.widgets.options.Option

  • gri.tasks.gui.GroupedTaskInfoWidget
  • gri.tasks.gui.TaskSelectionPanel
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.