Esempio n. 1
0
 // Returns the names of the settings for this plugin.
 @Override
 public String[] getConfigSettings() {
   List<String> CommandList = new ArrayList<String>();
   CommandList.add(SETTING_DEFAULT_MAX);
   CommandList.add(SETTING_KEEP_OLDEST);
   if (showInFocus == null) CommandList.add(SETTING_PICK_SHOW);
   else {
     CommandList.add(SETTING_HAVE_SHOW);
     CommandList.add(SETTING_SHOW_MAX);
     DataStore store = new DataStore(showInFocus);
     if (store.isMonitored()) CommandList.add(SETTING_RESET_SHOW);
   }
   CommandList.add(SETTING_REDUCE_TO_MAX);
   CommandList.add(SETTING_LOGLEVEL);
   return (String[]) CommandList.toArray(new String[CommandList.size()]);
 }