anchor.diff:      HtmlBackgroundColorPair[false]:= $F0F0F0;
       HtmlBackgroundColorPair[true]:= $101010;
   
  -    PyLibrary:= InitPyLibraryPath;
       PictureTypes:= 'bmp,png,jpg,jpeg,gif,ico,webp,psd,tga,cur';
   
       DefaultTabSplitIsHorz:= false;
  
positive.code:     PyCaretSlow: integer;
      PyChangeSlow: integer;
      PyOutputCopyToStdout: boolean;
      InfoAboutOptionsEditor: boolean;
      AllowFrameParsing: boolean; //must be set in FormMain.OnShow
      AllowRunPkExec: boolean;
  
negative.code:     TreeFillMaxTime:= 1000;
      TreeFillMaxTimeForAPI:= 6*1000;
  
      PyLibrary:= InitPyLibraryPath;
      PyCaretSlow:= 400;
      PyChangeSlow:= 2000;
      PyOutputCopyToStdout:= false;
  
      InfoAboutOptionsEditor:= true;
      AllowFrameParsing:= false;
      AllowRunPkExec:= true;
  