Someone

				private void changerCharset()				{					int pos = saisieChan.getText().indexOf(" ")+1;					if(pos > 0)					{						String charset = saisieChan.getText().substring(pos);						if(serv.setCharsetByName(charset))							ecrireLigne("Charset changed to: "+serv.getCharsetName());						else							ecrireLigne("Unknown charset");					}					else						ecrireLigne("Current charset: "+serv.getCharsetName());					repaint();				}