private void launchEditor(TableItem item) {
String theCommand = resUser.getString("Custom_editor");
theCommand = theCommand.replaceAll("%file%", item.getText(3));
theCommand = theCommand.replaceAll("%line%", item.getText(1));
theCommand = theCommand.replace('/', File.separatorChar);
theCommand = theCommand.replaceAll("%slash%", "/");
try {
Runtime.getRuntime().exec(theCommand);
} catch (IOException e) {
displayError("Error launching editor: " + e.getMessage());
}
}
