File indexing completed on 2024-04-14 15:17:43
0001 #!/usr/bin/perl 0002 0003 # dani 19.02.2005 0004 0005 # first delete some groups and keys, if they exist 0006 print "# DELETEGROUP [Tool/PreviewLaTeX/Default]\n"; 0007 print "# DELETEGROUP [Tool/PreviewPDFLaTeX/Default]\n"; 0008 print "# DELETE [Tools]PreviewLaTeX\n"; 0009 print "# DELETE [Tools]PreviewPDFLaTeX\n"; 0010 print "# DELETE [ToolsGUI]PreviewLaTeX\n"; 0011 print "# DELETE [ToolsGUI]PreviewPDFLaTeX\n"; 0012 0013 # now filter the configuration file 0014 print <<EOT; 0015 [Tool/PreviewLaTeX/Default] 0016 autoRun=no 0017 checkForRoot=no 0018 class=LaTeXpreview 0019 command=latex 0020 from= 0021 jumpToFirstError=yes 0022 options=-interaction=nonstopmode '%source' 0023 to=dvi 0024 type=Process 0025 0026 [Tool/PreviewPDFLaTeX/Default] 0027 autoRun=no 0028 checkForRoot=no 0029 class=LaTeXpreview 0030 command=pdflatex 0031 from= 0032 jumpToFirstError=yes 0033 options=-interaction=nonstopmode '%source' 0034 to=pdf 0035 type=Process 0036 0037 [Tools] 0038 PreviewLaTeX=Default 0039 PreviewPDFLaTeX=Default 0040 0041 [ToolsGUI] 0042 PreviewLaTeX=none,none 0043 PreviewPDFLaTeX=none,none 0044 EOT