.

original commit: 789c72ee0721a83de134ae044abc2ae862a5cea5
2004-10-11 23:30:59 +00:00 · 2004-10-11 23:30:59 +00:00 · 0463fcac0e
commit 0463fcac0e
parent 7458906cd3
1 changed files with 1 additions and 0 deletions
--- 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.")