diff --git a/collects/framework/framework.ss b/collects/framework/framework.ss index 8c5904ed..4c20e9fb 100644 --- a/collects/framework/framework.ss +++ b/collects/framework/framework.ss @@ -1335,6 +1335,7 @@ ".") (editor:get-default-color-style-name (-> string?) + () "The name of the style (in the list returned by " "@flink editor:get-standard-style-list %" ") that holds the default color.")