commit | 1fbad002d7df55ec5fa81b88a3c646f2ceff1aea | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 06 10:08:56 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 06 10:08:56 2001 +0000 |
tree | d92ae169452b88cbcb23ad69421226b47232bd19 | |
parent | 144ebcc444e72e486837cd51e6f7f8c50d016fe2 [diff] |
Oops, this file was apparently never added to the repository. Now it is.
diff --git a/Tools/idle/config-mac.txt b/Tools/idle/config-mac.txt new file mode 100644 index 0000000..ee36e13 --- /dev/null +++ b/Tools/idle/config-mac.txt
@@ -0,0 +1,3 @@ +[EditorWindow] +font-name= monaco +font-size= 9