diff --git a/Tools/idle/config.txt b/Tools/idle/config.txt index c1d96c1fd0f..6f98a3e8e4f 100644 --- a/Tools/idle/config.txt +++ b/Tools/idle/config.txt @@ -14,8 +14,8 @@ # IDLE extensions can be enabled and disabled by adding them to one of # the config files. To enable an extension, create a section with the # same name as the extension, e.g. the [ParenMatch] section below. To -# disable an extension, either remove the section or add the the -# enable option with the value 0. +# disable an extension, either remove the section or add the 'enable' +# option with the value 0. [EditorWindow] width= 80