protected void onSuccess() {
text.setText(ns); // actually *this* is the slow bit...
text.setCaretPosition(0);
}
};
tworker.start();
}});
setBorder(BorderFactory.createEmptyBorder(10,10,10,10));
JPanel enc = new JPanel(new BorderLayout());
enc.add(encodings, BorderLayout.CENTER);
enc.add(new JLabel("Encoding: "), BorderLayout.WEST);