+\r
+ public void initDasSources()\r
+ {\r
+\r
+ Thread thr = new Thread(new Runnable()\r
+ {\r
+ public void run()\r
+ {\r
+ // this actually initialises the das source list\r
+ paintComponent(null); // yuk\r
+ }\r
+ });\r
+ thr.start();\r
+ while (loadingDasSources || dasSources == null)\r
+ {\r
+ try\r
+ {\r
+ Thread.sleep(10);\r
+ } catch (Exception e)\r
+ {\r
+ }\r
+ ;\r
+ }\r
+ }\r
+\r
+ public Vector resolveSourceNicknames(Vector sources)\r
+ {\r
+\r
+ Vector resolved = new Vector();\r
+ if (sources != null)\r
+ {\r
+ for (int i = 0; i < dasSources.length; i++)\r
+ {\r
+ if (sources.contains(dasSources[i].getNickname()))\r
+ {\r
+ if (!resolved.contains(dasSources[i]))\r
+ {\r
+ resolved.addElement(dasSources[i]);\r
+ }\r
+ }\r
+ }\r
+ }\r
+ return resolved;\r
+ }\r
+\r
+ /**\r
+ * disable or enable the buttons on the source browser\r
+ * @param b\r
+ */\r
+ public void setGuiEnabled(boolean b)\r
+ {\r
+ refresh.setEnabled(b);\r
+ addLocal.setEnabled(b);\r
+ }\r