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