jed.conf

   1 % -*- slang -*-
   2
   3 % This is a sample jed.conf that the user may put in /etc or /usr/local/etc
   4 % to setup some defaults for all users.
   5
   6 _Jed_Default_Emulation = "ide";
   7 _Jed_Default_Color_Scheme = "black3";
   8 Info_Directory = "/usr/share/info";
   9 auto_compression_mode (1);
  10 enable_dfa_syntax_for_mode ("PostScript", "TCL");