}
@Override
protected void initialize(RPrefs prefs)
{
CompilePdfPrefs compilePdfPrefs = prefs.getCompilePdfPrefs();
chkCleanTexi2DviOutput_.setValue(compilePdfPrefs.getCleanOutput());
chkEnableShellEscape_.setValue(compilePdfPrefs.getEnableShellEscape());
pdfPreview_.addChoice("(No Preview)", UIPrefsAccessor.PDF_PREVIEW_NONE);
String desktopSynctexViewer = SynctexUtils.getDesktopSynctexViewer();
if (desktopSynctexViewer.length() > 0)