1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse.phphelp / src / net / sourceforge / phpdt / phphelp / PHPHelpPreferenceMessages.properties
1 PHPHelpPreferencePage.PHPHelpSettings=PHP Help Settings (WIN_32 only)
2 PHPHelpPreferencePage.PHPHelp.format=Show Help in *.chm format?
3 PHPHelpPreferencePage.PHPHelp.chm.file=PHP *.chm file:
4 PHPHelpPreferencePage.PHPHelp.command=PHP Help command: