/** Shows JSort help in the jEdit help viewer */ private void showHelp() { java.net.URL helpUrl = TextToolsSortDialog.class.getResource("TextTools.html"); if (helpUrl == null) { Log.log(Log.NOTICE, this, "Help URL is null, cannot display help"); } else { new org.gjt.sp.jedit.help.HelpViewer(helpUrl.toString()); } } // }}}